Skip to main content
PBS logo
 
 

Search - Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)
Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science
Author: Allan M. Ramsay
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptati...  more »
ISBN-13: 9780521352369
ISBN-10: 0521352363
Publication Date: 11/25/1988
Pages: 296
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Other Versions: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.