Formal Methods In Artificial Intelligence

Cambridge: Cambridge University Press, 1991. Paperback; Cambridge Tracts in Theoretical Computer Science 6. Very few superficial scores on covers, with lightly worn lower edges and front leading corners. Stamp on title page with faint imprint visible on FEP. Pages clean and sound; all text clear. TS. paperback. Very Good. Used.

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical lo

Cambridge University Press, 1988. Paperback. Very Good. Former library book. Slight signs of wear on the cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.