0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Resolution Methods for the Decision Problem (Paperback, 1993 ed.) Loot Price: R1,570
Discovery Miles 15 700
Resolution Methods for the Decision Problem (Paperback, 1993 ed.): C. Fermuller, A. Leitsch, Tanel Tammet, Nail Zamov

Resolution Methods for the Decision Problem (Paperback, 1993 ed.)

C. Fermuller, A. Leitsch, Tanel Tammet, Nail Zamov

Series: Lecture Notes in Artificial Intelligence, 679

 (sign in to rate)
Loot Price R1,570 Discovery Miles 15 700 | Repayment Terms: R147 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Artificial Intelligence, 679
Release date: July 1993
First published: 1993
Authors: C. Fermuller • A. Leitsch • Tanel Tammet • Nail Zamov
Dimensions: 233 x 155 x 11mm (L x W x T)
Format: Paperback
Pages: 236
Edition: 1993 ed.
ISBN-13: 978-3-540-56732-5
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-540-56732-1
Barcode: 9783540567325

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

The Hitchhiker's Guide To AI - The…
Arthur Goldstuck Paperback R330 R270 Discovery Miles 2 700
African Artificial Intelligence…
Mark Nasila Paperback R350 R312 Discovery Miles 3 120
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R430 R384 Discovery Miles 3 840
Artificial Intelligence for Neurological…
Ajith Abraham, Sujata Dash, … Paperback R4,171 Discovery Miles 41 710
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,242 Discovery Miles 12 420
What The Future?! - 7 Updates To…
Justin Cohen Paperback R285 R263 Discovery Miles 2 630
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R2,019 Discovery Miles 20 190
Intelligent Communication Systems…
Nobuyoshi Terashima Hardcover R1,611 Discovery Miles 16 110
Constructions at Work - The nature of…
Adele Goldberg Hardcover R2,133 Discovery Miles 21 330
Taking The Anxiety Out Of AI - Humans…
Sameer Rawjee Paperback R320 R275 Discovery Miles 2 750
Happimetrics - Leveraging AI to Untangle…
Peter A. Gloor Hardcover R2,984 Discovery Miles 29 840
AI Engineering - Building Applications…
Chip Huyen Paperback R1,817 R1,386 Discovery Miles 13 860

See more

Partners