No edit summary |
|||
Line 72: | Line 72: | ||
* [http://pages.cs.wisc.edu/~dyer/cs540/notes/fopc.html Lecture Notes on Translating to First-Order Logic] | * [http://pages.cs.wisc.edu/~dyer/cs540/notes/fopc.html Lecture Notes on Translating to First-Order Logic] | ||
* [http://cs.nyu.edu/faculty/davise/guide.html Guide to Axiomatizing in First-Order Logic] | * [http://cs.nyu.edu/faculty/davise/guide.html Guide to Axiomatizing in First-Order Logic] | ||
== General == | |||
* [[Privacy Policy|Privacy Policy (Datenschutz)] |