Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science - Ramsay, Allan M. (University College Dublin) - Books - Cambridge University Press - 9780521424219 - July 26, 1991
In case cover and title do not match, the title is correct

Ramsay, Allan M. (University College Dublin)
Formal Methods in Artificial Intelligence - Cambridge Tracts in Theoretical Computer Science

Price
$ 61.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

292 pages, index, bibliography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 26, 1991
ISBN13 9780521424219
Publishers Cambridge University Press
Pages 292
Dimensions 170 × 244 × 15 mm   ·   470 g
Language English  

Mere med samme udgiver

See all of Ramsay, Allan M. (University College Dublin) ( e.g. Paperback Book )