Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods in Artificial Intelligence

Language EnglishEnglish
Book Paperback
Book Formal Methods in Artificial Intelligence Allan M. Ramsay
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
? points 133 b
55.09 €
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 / Book Paperback
common.buy 45.87 €
New York 2017, Streifenkalender XXL Marco Becher / Calendar/Diary Calendar
common.buy 16.80 €
Alienmorder Stephen Goldin / E-book Adobe ePub DRM
common.buy 2.72 €
Cryogenic Nightmare Chet Cunningham Audiobook MP3
common.buy 25.11 €
Fantom I: Přízračné legie Terry Goodkind / Book Paperback
common.buy 13.16 €
La tarification du carbone et ses répercussions Rokhaya / Book Paperback
common.buy 27.64 €
Cooperación en la formación entre instituciones / Book Paperback
common.buy 23.79 €
Triceratops Dennis Schatz / Book Book
common.buy 17.61 €
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Book Paperback
common.buy 53.16 €
Sonneberg 1 : 50 000 (L5732) / Printed items Map
common.buy 8.19 €
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Game/Toy Game
common.buy 34.43 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods in Artificial Intelligence
Author Allan M. Ramsay
Language English
Binding Book - Paperback
Date of issue 1991
Number of pages 292
EAN 9780521424219
ISBN 0521424216
Libristo code 02030414
Publishers Cambridge University Press
Weight 470
Dimensions 170 x 244 x 16

Categories

Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Knowledge Intensive Computer Aided Design Susan Finger / Book Hardback
common.buy 226.86 €
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Book Paperback
common.buy 22.27 €
Religion, belief and social work Sheila Furness / Book Paperback
common.buy 34.43 €
Er Larry Stockstill / Book Paperback
common.buy 19.44 €
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Book Hardback
common.buy 235.27 €
Visionary Greg Belter / Book Paperback
common.buy 8.40 €
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Book Paperback
common.buy 19.64 €
Acts R. Kent Hughes / Book Hardback
common.buy 36.76 €
Treasury of Miracles for Teens Karen Kingsbury / Book Hardback
common.buy 18.73 €
Óscar y la gata de medianoche Ron Brooks / Book Paperback
common.buy 17.41 €
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Book Paperback
common.buy 12.14 €
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Book Paperback
common.buy 15.79 €
Growing God's Gifts Lucy Joy / Book Hardback
common.buy 13.56 €
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Book Paperback
common.buy 22.17 €
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-book Adobe ePub DRM
common.buy 7.69 €
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Book Paperback
common.buy 59.14 €
Mr Men Little Miss Audio Collection Roger Hargreaves / Audiobook MP3
common.buy 5.86 €
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Book Hardback
common.buy 14.68 €
In Fields Where Daisies Grow Elizabeth Jeffrey / Book Paperback
common.buy 30.88 €
Chesapeake Campaigns 1813-15 Scott Sheads / Book Paperback
common.buy 20.55 €
Top
Star Wars: The Essential Atlas Daniel Wallace / Book Paperback
common.buy 25.01 €
Classical Mechanics Walter Greiner / Book Paperback
common.buy 100.87 €
Quantum Computing Debabrata Goswami / Book Hardback
common.buy 125.07 €
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Book Paperback
common.buy 206.00 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?