TY - BOOK ID - 137658169 TI - Automated theorem proving PY - 1982 SN - 3528085207 PB - Braunschweig Vieweg DB - UniCat KW - Automatic theorem proving UR - https://www.unicat.be/uniCat?func=search&query=sysid:137658169 AB - ER -