TY - BOOK ID - 5056814 TI - First-order logic and automated theorem proving PY - 1990 SN - 0387972331 3540972331 9783540972334 PB - New York (N.Y.): Springer DB - UniCat KW - Automatic theorem proving KW - Logic, Symbolic and mathematical KW - Théorèmes KW - Logique symbolique et mathématique KW - Démonstration automatique KW - Automatic theorem proving. KW - Logic, Symbolic and mathematical. KW - 681.3*I23 KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Automated theorem proving KW - Theorem proving, Automated KW - Theorem proving, Automatic KW - Artificial intelligence KW - Proof theory KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Logic, symbolic and mathematical. KW - Théorèmes KW - Logique symbolique et mathématique KW - Démonstration automatique UR - https://www.unicat.be/uniCat?func=search&query=sysid:5056814 AB - ER -