TY - BOOK ID - 127935367 TI - Automated theorem proving : theory and practice PY - 2001 SN - 0387950753 9780387950754 PB - New York: Springer, DB - UniCat KW - Automatic theorem proving. KW - Automatic theorem proving UR - https://www.unicat.be/uniCat?func=search&query=sysid:127935367 AB - ER -