phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Resolution Methods for the Decision Problem

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Resolution Methods for the Decision Problem C. Fernmüller
Libristo kód: 01565643
Kiadó Springer, Berlin, november 1992
This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Growing Gourmet and Medicinal Mushrooms Paul Stamets / Puha kötésű
common.buy 15 657 Ft
toplistás
Mies van der Rohe Claire Zimmerman / Kemény kötésű
common.buy 6 877 Ft
toplistás
My Infamous Life Albert Johnson / Puha kötésű
common.buy 5 980 Ft
toplistás
Designing Creatures and Characters Marc Taro Holmes / Kemény kötésű
common.buy 10 514 Ft
toplistás
Tai-Pan James Clavell / Puha kötésű
common.buy 5 980 Ft
14,000 Things to Be Happy About. Barbara Ann Kipfer / Puha kötésű
common.buy 4 343 Ft
Nan Goldin: The Ballad of Sexual Dependency Nan Goldin / Kemény kötésű
common.buy 18 086 Ft
Dark Matter Michelle Paver / Puha kötésű
common.buy 4 625 Ft
Chromophobia David Batchelor / Puha kötésű
common.buy 7 395 Ft
World of Late Antiquity AD 150-750 Peter Robert Lamont Brown / Puha kötésű
common.buy 15 406 Ft
Modernist Cuisine Nathan Myhrvold / Kemény kötésű
common.buy 205 224 Ft
Change / Puha kötésű
common.buy 6 076 Ft
Art Deco Fashion Masterpieces of Art Gordon Kerr / Kemény kötésű
common.buy 13 849 Ft
Lecture Notes On Fullerene Chemistry: A Handbook For Chemists Roger Taylor / Puha kötésű
common.buy 22 992 Ft
Confessions of an Air Traffic Controller Danny Mortensen / Puha kötésű
common.buy 10 685 Ft
Call it a Day Dodie Smith / Puha kötésű
common.buy 9 441 Ft

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.

Információ a könyvről

Teljes megnevezés Resolution Methods for the Decision Problem
Szerző C. Fernmüller, Alexander Leitsch, ammet Tanel
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1993
Oldalszám 236
EAN 9783540567325
ISBN 3540567321
Libristo kód 01565643
Kiadó Springer, Berlin
Súly 290
Méretek 155 x 233 x 11

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása