Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

First-order logic

From Scholarpedia - Reading time: 1 min

Suggested (co)authors:

  • 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


Licensed under CC BY-SA 3.0 | Source: http://www.scholarpedia.org/article/First-order_logic
2 views |
↧ Download this article as ZWI file