Logic for computer science : Foundations of Automatic Theorem proving/

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

• Logic For Computer Science: Foundations Of Automatic Theorem Proving
  অনুযায়ী: Gallier, Jean H
  প্রকাশিত: (1987)
• 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.
  প্রকাশিত: (1986)
• Logic for computer science : foundations of automatic theorem proving /
  অনুযায়ী: Gallier, Jean H.
  প্রকাশিত: (2015)
• Symbolic, logic and mechanical theorem proving
  অনুযায়ী: Chang, Chin-Liang
  প্রকাশিত: (1973)