Formal Methods in Artificial Intelligence
Allan M. (University College Dublin) Ramsay
Cambridge University Press, 1991
71,25 €On orderDelivery: 2-3 weeks
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 logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.
- ISBN-13
- 9780521424219
- ISBN-10
- 0521424216
- Publisher
- Cambridge University Press
- Year
- 1991
- Publication date
- 1991-07-26
- Pages
- 292
- Dimensions
- 244x170x15
- Weight
- 470