Error title
Some error text about your books and stuff.
Close

Formal Methods in Artificial Intelligence

by Ramsay, Allan

  • ISBN: 9780521424219
  • ISBN10: 0521424216

Formal Methods in Artificial Intelligence

by Ramsay, Allan

  • List Price: $69.99
  • Binding: Paperback
  • Publisher: Cambridge University Press
  • Publish date: 01/01/2001
  • ISBN: 9780521424219
  • ISBN10: 0521424216
used Add to Cart $48.04
You save: 31%
Marketplace Item
new Add to Cart $49.05
You save: 30%
FREE economy shipping!
Description: 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 adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintainance and intensional logic. The book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.
Expand description
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$48.04
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).