TY - BOOK ID - 126688142 TI - Automated theorem proving PY - 1982 PB - Braunschweig: Vieweg, DB - UniCat KW - Artificial intelligence KW - Logic KW - Theorem Proving UR - https://www.unicat.be/uniCat?func=search&query=sysid:126688142 AB - ER -