Logic for artificial intelligence and information techology
Gabbay, Dov M.
Logic for artificial intelligence and information techology Dov M. Gabbay - London College Publications c2007 - xiv, 566p. ill; 24cm - v. 9 . - (Texts in Computing; v. 9) .
Includes bibliographical references
QA 9 .G33 2007
Logic for artificial intelligence and information techology Dov M. Gabbay - London College Publications c2007 - xiv, 566p. ill; 24cm - v. 9 . - (Texts in Computing; v. 9) .
Includes bibliographical references
QA 9 .G33 2007