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

DPD courier 4.99 € GLS courier 11.49 €

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: 54.92 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

133 b

54.92 €

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

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

Paperback

45.73 €

New York 2017, Streifenkalender XXL Marco Becher

Calendar

16.75 €

Alienmorder Stephen Goldin

Adobe ePub DRM

2.72 €

Cryogenic Nightmare Chet Cunningham Audiobook

MP3

25.03 €

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

Paperback

13.22 €

La tarification du carbone et ses répercussions Rokhaya

Paperback

27.55 €

Cooperación en la formación entre instituciones

Paperback

23.72 €

Triceratops Dennis Schatz

Book

17.56 €

Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll

Paperback

53.00 €

Sonneberg 1 : 50 000 (L5732)

Map

8.17 €

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

Game

34.32 €

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.