[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Resolution Methods for the Decision Problem

Language EnglishEnglish
Book Paperback
Book Resolution Methods for the Decision Problem C. Fernmüller
Libristo code: 01565643
Publishers Springer, Berlin, November 1992
This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
Mies van der Rohe Claire Zimmerman / Hardback
common.buy 18.51 €
TOP
14,000 Things to Be Happy About. Barbara Ann Kipfer / Paperback
common.buy 10.91 €
TOP
Growing Gourmet and Medicinal Mushrooms Paul Stamets / Paperback
common.buy 39.60 €
TOP
Designing Creatures and Characters Marc Taro Holmes / Hardback
common.buy 26.64 €
TOP
Nan Goldin: The Ballad of Sexual Dependency Nan Goldin / Hardback
common.buy 45.91 €
TOP
Modernist Cuisine Nathan Myhrvold / Hardback
common.buy 734.41 €
Tai-Pan James Clavell / Paperback
common.buy 14.65 €
Dark Matter Michelle Paver / Paperback
common.buy 12.41 €
My Infamous Life Albert Johnson / Paperback
common.buy 16.05 €
Chromophobia David Batchelor / Paperback
common.buy 19.79 €
World of Late Antiquity AD 150-750 Peter Robert Lamont Brown / Paperback
common.buy 39.70 €
Change / Paperback
common.buy 18.40 €
Art Deco Fashion Masterpieces of Art Gordon Kerr / Hardback
common.buy 36.71 €
Confessions of an Air Traffic Controller Danny Mortensen / Paperback
common.buy 27.18 €
Call it a Day Dodie Smith / Paperback
common.buy 24.50 €
Geomagnetic Observations and Models Mioara Mandea / Hardback
common.buy 115.27 €

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.

About the book

Full name Resolution Methods for the Decision Problem
Author C. Fernmüller, Alexander Leitsch, ammet Tanel
Language English
Binding Book - Paperback
Date of issue 1993
Number of pages 236
EAN 9783540567325
ISBN 3540567321
Libristo code 01565643
Publishers Springer, Berlin
Weight 290
Dimensions 155 x 233 x 11

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
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

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