TY - BOOK ID - 8484880 TI - Automated reasoning and its applications : essays in honour of Larry Wos AU - Veroff, Robert AU - Pieper, Gail W. AU - Wos, Larry PY - 1997 SN - 0262220555 PB - Cambridge London : M.I.T. Press, DB - UniCat KW - Automatic theorem proving. UR - https://www.unicat.be/uniCat?func=search&query=sysid:8484880 AB - ER -