TY - BOOK TI - Computer-aided reasoning : an approach AU - Kaufmann, Matt. AU - Manolios, Panagiotis. AU - Moore, J Strother , 1947- SN - 0792377443 (alk. paper) PB - Kluwer Academic Publishers PP - Boston : Kluwer Academic Publishers, c2000. PY - 2000 UR - https://library.korea.ac.kr/detail/?cid=CAT000000882974&ctype=m