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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 143 b
21 062 Ft
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 17 584 Ft
New York 2017, Streifenkalender XXL Marco Becher / Calendar/Diary Calendar
common.buy 6 567 Ft
Alienmorder Stephen Goldin / E-book Adobe ePub DRM
common.buy 957 Ft
Cryogenic Nightmare Chet Cunningham Audiobook MP3
common.buy 8 940 Ft
Fantom I: Přízračné legie Terry Goodkind / Book Paperback
common.buy 4 728 Ft
La tarification du carbone et ses répercussions Rokhaya / Book Paperback
common.buy 9 823 Ft
Cooperación en la formación entre instituciones / Book Paperback
common.buy 8 467 Ft
Triceratops Dennis Schatz / Book Book
common.buy 6 275 Ft
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Book Paperback
common.buy 20 547 Ft
Sonneberg 1 : 50 000 (L5732) / Printed items Map
common.buy 2 917 Ft
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Game/Toy Game
common.buy 12 238 Ft

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 82 948 Ft
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Book Paperback
common.buy 8 704 Ft
Religion, belief and social work Sheila Furness / Book Paperback
common.buy 12 270 Ft
Er Larry Stockstill / Book Paperback
common.buy 7 436 Ft
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Book Hardback
common.buy 89 677 Ft
Visionary Greg Belter / Book Paperback
common.buy 3 297 Ft
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Book Paperback
common.buy 7 496 Ft
Acts R. Kent Hughes / Book Hardback
common.buy 13 065 Ft
Treasury of Miracles for Teens Karen Kingsbury / Book Hardback
common.buy 7 306 Ft
Óscar y la gata de medianoche Ron Brooks / Book Paperback
common.buy 6 200 Ft
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Book Paperback
common.buy 4 681 Ft
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Book Paperback
common.buy 6 066 Ft
Growing God's Gifts Lucy Joy / Book Hardback
common.buy 4 979 Ft
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Book Paperback
common.buy 8 513 Ft
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-book Adobe ePub DRM
common.buy 2 740 Ft
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Book Paperback
common.buy 22 697 Ft
Mr Men Little Miss Audio Collection Roger Hargreaves / Audiobook MP3
common.buy 2 090 Ft
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Book Hardback
common.buy 5 216 Ft
In Fields Where Daisies Grow Elizabeth Jeffrey / Book Paperback
common.buy 11 755 Ft
Chesapeake Campaigns 1813-15 Scott Sheads / Book Paperback
common.buy 7 747 Ft
Top
Star Wars: The Essential Atlas Daniel Wallace / Book Paperback
common.buy 9 265 Ft
Classical Mechanics Walter Greiner / Book Paperback
common.buy 39 087 Ft
Quantum Computing Debabrata Goswami / Book Hardback
common.buy 44 507 Ft
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Book Paperback
common.buy 79 646 Ft

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?