Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Resolution Methods for the Decision Problem

Limba englezăengleză
Carte Carte broșată
Carte Resolution Methods for the Decision Problem C. Fernmüller
Codul Libristo: 01565643
Editura Springer, Berlin, noiembrie 1992
This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Filosofia Social e Política para os Perplexos Kizito Michael George / Carte Carte broșată
common.buy 315.26 lei
Oldboy, 1 4K UHD-Blu-ray + 1 Blu-ray + 2 Bonus-Blu-ray (4-Disc Limited Collector's Edition im Mediabook) Park Chan-wook / Videoclip Blu-ray
common.buy 250.31 lei
Renovatio Europae David Engels / Carte Carte broșată
common.buy 102.26 lei
Les grands carrés Disney Love stories / Carte Carte broșată
common.buy 81.41 lei
Ästhetik des Widerstands Peter Weiss / Carte Carte broșată
common.buy 124.78 lei
COMENTARIO INTEGRAL A LA ENCICLOPEDIA DE LAS CIENCIAS FILOSÓFICAS DE G.W.F. HEGE RAMON VALLS PLANA / Carte Carte broșată
common.buy 180.46 lei
Zwergenstübchen Backgeheimnisse Elke Schuster / Carte Copertă tare
common.buy 47.74 lei
Drachenblutlinie Jana Nuler / Carte Carte broșată
common.buy 105.08 lei
Geschichte des Christentums in Grundzügen Bernd Moeller / Carte Carte broșată
common.buy 147.62 lei
Liebe Fanatiker Amos Oz / Carte Carte broșată
common.buy 103.31 lei
Sicherheit in vernetzten Systemen Christian Paulsen / Carte Carte broșată
common.buy 149.60 lei
Cómo montar un negocio online BORJA PASCUAL / Carte Carte broșată
common.buy 129.16 lei
Entwicklungsgeschichte des Kosmos Hermann J. Klein / Carte Carte broșată
common.buy 297.01 lei
Ripley Bogle Robert McLiam Wilson / Carte Carte broșată
common.buy 123.74 lei
Ich bin bei dir Sarah Young / Carte Copertă tare
common.buy 94.65 lei
Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann / Carte Copertă tare
common.buy 223.41 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Resolution Methods for the Decision Problem
Autor C. Fernmüller, Alexander Leitsch, ammet Tanel
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 236
EAN 9783540567325
ISBN 3540567321
Codul Libristo 01565643
Editura Springer, Berlin
Greutatea 290
Dimensiuni 155 x 233 x 11

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

A Positive Superhero: Growing Up with HIV Desiree Thompson / Carte Carte broșată
common.buy 81.62 lei
Dark Matter Michelle Paver / Carte Carte broșată
common.buy 65.57 lei
Top
14,000 Things to Be Happy About. Barbara Ann Kipfer / Carte Carte broșată
common.buy 48.57 lei
Top
Nan Goldin: The Ballad of Sexual Dependency Nan Goldin / Carte Copertă tare
common.buy 209.54 lei
Mies van der Rohe Claire Zimmerman / Carte Copertă tare
common.buy 87.88 lei
Top
Designing Creatures and Characters Marc Taro Holmes / Carte Copertă tare
common.buy 116.55 lei
World of Late Antiquity AD 150-750 Peter Robert Lamont Brown / Carte Carte broșată
common.buy 198.18 lei
My Infamous Life Albert Johnson / Carte Carte broșată
common.buy 78.18 lei
Paradise Rules Jimmy Gleacher / Carte Carte broșată
common.buy 95.28 lei
Princess and the Dragon Stephanie Ellis / Carte Carte broșată
common.buy 96.43 lei
So You Call Yourself A New York Yankees Fan? David Furgess / Carte Carte broșată
common.buy 72.03 lei
Call it a Day Dodie Smith / Carte Carte broșată
common.buy 94.44 lei
Farsi Grammar in Use Reza Nazari / Carte Carte broșată
common.buy 106.54 lei
Top
Lifespan David Sinclair / Carte Carte broșată
common.buy 89.65 lei
Luminous: The Spiritual Life on Film MIKE KING / Carte Carte broșată
common.buy 76.83 lei
Confessions of an Air Traffic Controller Danny Mortensen / Carte Carte broșată
common.buy 124.78 lei
Dangerous Liaisons Pierre Choderlos De Laclos / Carte Carte broșată
common.buy 80.79 lei
ACT Exam Vocabulary Workbook: Learn the key words of the ACT Test Lewis Morris / Carte Carte broșată
common.buy 81.83 lei
ShariE a in the Russian Empire Paolo Sartori / E-book Adobe ePub DRM
common.buy 196.30 lei
Tiktok Boom: China's Dynamite App and the Superpower Race for Social Media / Carte Carte broșată
common.buy 84.02 lei
Lecture Notes On Fullerene Chemistry: A Handbook For Chemists Roger Taylor / Carte Carte broșată
common.buy 282.00 lei
Market for Corporate Control in Japan Enrico Colcera / Carte Carte broșată
common.buy 570.37 lei
Geometry of Minkowski Spacetime Gregory L. Naber / Carte Carte broșată
common.buy 305.87 lei
HIV, Resurgent Infections and Population Change in Africa Michel Caraël / Carte Carte broșată
common.buy 601.65 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?