phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Automated Reasoning with Analytic Tableaux and Related Methods

Limba englezăengleză
Carte Carte broșată
Carte Automated Reasoning with Analytic Tableaux and Related Methods Martin Giese
Codul Libristo: 01650038
Editura Springer, Berlin, mai 2009
This book constitutes the refereed proceedings of the 18th International Conference on Automated Rea... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Ceremony Leslie Marmon Silko / Carte broșată
common.buy 78 lei
Die Sicherung des Lebensunterhalts durch das SGB II und die Auswirkungen auf die betroffenen Familien Fritz Böckh / Carte broșată
common.buy 166 lei
Die Vampirschwestern (Band 5) - Ferien mit Biss Franziska Gehm / Copertă tare
common.buy 52 lei
Many Sides: A Protagorean Approach to the Theory, Practice and Pedagogy of Argument M. Mendelson / Copertă tare
common.buy 983 lei
Emilie, LA Mauvaise Humeur Domitille de Pressense / Copertă tare
common.buy 49 lei
Wir Besser-Esser Dietrich H. W. Grönemeyer / Carte broșată
common.buy 61 lei
Untersuchungen zum Viktimisierungs-Furcht-Paradoxon Sandra Herbst / Carte broșată
common.buy 178 lei
SAGES Manual Nathaniel J. Soper / Carte broșată
common.buy 754 lei
Letters Written by Eminent Persons in the Seventeenth and Eighteenth Centuries John Walker / Carte broșată
common.buy 270 lei
Medialisierungsvertraglichkeit des Bundestags und des Schweizer Parlaments Stefan Heini / Carte broșată
common.buy 241 lei
Mit Kindern im Bienengarten Irmgard Kutsch / Copertă tare
common.buy 97 lei
Theology and Philosophy of Eliade Carl Olson / Copertă tare
common.buy 983 lei
Atlas of Fundus Autofluorescence Imaging Frank G. Holz / Carte broșată
common.buy 863 lei
Kompetenztransfer Im Investitionsgutermarketing Karl-Heinz Strothmann / Carte broșată
common.buy 353 lei

This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009.§The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.

Informații despre carte

Titlu complet Automated Reasoning with Analytic Tableaux and Related Methods
Autor Martin Giese, Arild Waaler
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 341
EAN 9783642027154
ISBN 3642027156
Codul Libristo 01650038
Editura Springer, Berlin
Greutatea 536
Dimensiuni 155 x 235 x 20

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

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