Symbolic, logic and mechanical theorem proving

অনুরূপ উপাদানগুলি

• Logic for computer science: foundations of automatic theorem proving
  অনুযায়ী: Gallier, Jean H; Author
  প্রকাশিত: (1987)
• Logic for computer science : foundations of automatic theorem proving /
  অনুযায়ী: Gallier, Jean H.
  প্রকাশিত: (2015)
• Applied proof theory : proof interpretations and their use in mathematics /
  অনুযায়ী: Kohlenbach, U.
  প্রকাশিত: (2008)
• Diagrammatic reasoning: cognitive and computational perspectives
  অনুযায়ী: Chandrasekaran, B
  প্রকাশিত: (1995)
• Automated theorem proving: theory and practice
  অনুযায়ী: Newborn, Monty
  প্রকাশিত: (2001)