TY - BOOK ID - 126955250 TI - Computer-aided reasoning : an approach AU - Kaufmann, Matt AU - Manolios, Panagiotis AU - Moore, J Strother PY - 2000 SN - 9780792377443 0792377443 PB - Boston: Kluwer Academic Publishers, DB - UniCat KW - Formal methods (Computer science) KW - Sotware engineering KW - Expert systems (Computer science) UR - https://www.unicat.be/uniCat?func=search&query=sysid:126955250 AB - ER -