First order logic - davidar/scholarpedia GitHub Wiki
Suggested (co)authors:
- Name: Dr. Andrey Voronkov
- Email: [email protected], [email protected]
- Affiliation: University of Manchester, UK
- URL: http://voronkov.com
- Comments: an long-time organizer of LPAR, http://dblp.uni-trier.de/db/indices/a-tree/v/Voronkov:Andrei.html
- Suggested by: User:Mokhov
- Name: Dr. Geoff Sutcliffe
- Email: [email protected]
- URL: http://www.cs.miami.edu/~geoff/
- Affiliation: Unifersity of Florida, http://dblp.uni-trier.de/db/indices/a-tree/s/Sutcliffe:Geoff.html
- Comments: authored TPTP, longtime friend and collaborator of Dr. Voronkov
- Suggested by: User:Mokhov