TY - BOOK ID - 126951131 TI - Computer-aided reasoning : ACL2 case studies PY - 2000 SN - 9780792378495 0792378490 PB - Boston: Kluwer Academic Publishers, DB - UniCat KW - Expert systems (Computer science) KW - Computer aided design UR - https://www.unicat.be/uniCat?func=search&query=sysid:126951131 AB - ER -