Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods in Artificial Intelligence

Name: Formal Methods in Artificial Intelligence
Brand: Cambridge University Press
SKU: 02030414
Price: 56.89 EUR
Availability: InStock
Author: Allan M. Ramsay
ISBN: 9780521424219

Allan M. Ramsay

Language

English

Book Paperback

Libristo code: 02030414

Publishers Cambridge University Press, July 1991

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Full description

Libristo code: 02030414

139 b

56.89 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis

Paperback

47.49 €

New York 2017, Streifenkalender XXL Marco Becher

Calendar

19.95 €

Alienmorder Stephen Goldin

Adobe ePub DRM

2.79 €

Cryogenic Nightmare Chet Cunningham Audiobook

MP3

26.09 €

Fantom I: Přízračné legie Terry Goodkind

Paperback

13.69 €

La tarification du carbone et ses répercussions Rokhaya

Paperback

28.39 €

Cooperación en la formación entre instituciones

Paperback

24.39 €

Triceratops Dennis Schatz

Book

18.39 €

Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll

Paperback

55.29 €

Sonneberg 1 : 50 000 (L5732)

Map

8.49 €

Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger

Game

35.79 €

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 maintenance and intensional logic. First published in 1988, 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.