Logic
From Scholarpedia
Suggested (co)author(s):
- Name: Dr. Andrey Voronkov
- Email: andrey@voronkov.com, voronkov@cs.man.ac.uk
- 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: geoff@cs.miami.edu
- URL: http://www.cs.miami.edu/~geoff/
- Affiliation: University 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
- Name: Dr. Tobias Nipkow
- Email: nipkow@in.tum.de
- Affiliation: tum.de
- Comments: co-authored Isabelle for higher-order logic, editor in chief of JAR
- Suggested by: User:Mokhov
- Name: Dr. Lawrence Paulson
- Email: lp15@cam.ac.uk
- Affiliation: cam.ac.uk
- Comments: co-authored Isabelle, etc.
- Suggested by: User:Mokhov
- Name: Dr. Rene Lalement
- Email:
- Affiliation: Ecole Nationale des Ponts et Chaussees, Paris, France
- Comments: Wrote "Computation as Logic", ISBN: 0-13-770009-1
- Suggested by: User:Mokhov
Categories: [Scholarpedia] [Logic]
↧ Download as ZWI file | Last modified: 11/04/2025 22:53:54 | 133 views
☰ Source: http://www.scholarpedia.org/article/Logic | License: CC BY-SA 3.0
✘
ZWI is not signed. [what is this?]