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 9.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: 54.86 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.86 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Cooperación en la formación entre instituciones

Paperback

23.49 €

Alienmorder Stephen Goldin

Adobe ePub DRM

2.71 €

Cryogenic Nightmare Chet Cunningham Audiobook

MP3

25.31 €

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

Paperback

13.10 €

La tarification du carbone et ses répercussions Rokhaya

Paperback

27.22 €

New York 2017, Streifenkalender XXL Marco Becher

Calendar

16.73 €

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

Paperback

45.68 €

Triceratops Dennis Schatz

Book

17.54 €

Sonneberg 1 : 50 000 (L5732)

Map

8.06 €

5 jezykow doceniania w miejscu pracy Gary D. Chapman

Paperback

22.89 €

Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll

Paperback

52.94 €

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

Game

34.18 €

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.