Last active
December 13, 2018 16:55
-
-
Save Hsankesara/15af4f997a6b1fcca94b7963447361a7 to your computer and use it in GitHub Desktop.
First Order Logic in Kinship Domain
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment