TY - BOOK ID - 27419160 TI - Automated theorem proving : after 25 years AU - Bledsoe, W. W. AU - Loveland, Donald W. AU - Special Session on Automatic Theorem Proving : AU - American mathematical society PY - 1984 SN - 082185027X PB - Providence, RI : American Mathematical Society, DB - UniCat KW - Automatic theorem proving KW - -681.3*I23 KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) KW - Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) KW - Automated theorem proving KW - Theorem proving, Automated KW - Theorem proving, Automatic KW - Artificial intelligence KW - Proof theory KW - Congresses KW - 681.3*I23 KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Informatique UR - https://www.unicat.be/uniCat?func=search&query=sysid:27419160 AB - ER -