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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 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.

Automated Reasoning

7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Reasoning Stéphane Demri
Codul Libristo: 02735047
Editura Springer International Publishing AG, august 2014
This book constitutes the refereed proceedings of the 7th International Joint Conference on Automate... Descrierea completă
? points 132 b
284.60 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Autonomía de la escuela : principios y propuestas Gadotti (BR) / Carte Carte broșată
common.buy 112.57 lei
Top
Skoro modlitby Karel Čapek / Carte Copertă tare
common.buy 43.88 lei
Život dítěte Kateřina Janouchová / Carte Copertă tare
common.buy 112.57 lei
UC Helmut Krausser / Carte Carte broșată
common.buy 94.82 lei
Bitcoin: Geld ohne Banken - ist das möglich? Dirk Mölleken / Carte Carte broșată
common.buy 197.96 lei
Christan Hoffmann Von Hoffmannswaldaus "Verganglichkeit Der Schonheit. Analyse Der Struktur, Antithetik Und Stilmittel Jesse Bochert / Carte Carte broșată
common.buy 89.43 lei
Woman as Divine Mariam Baker / Carte Carte broșată
common.buy 75.22 lei
Histoire de la Revolution Francaise Adolf Korell / Carte Carte broșată
common.buy 212.18 lei
Definičný obor funkcií, I. diel Marián Olejár / Carte Carte broșată
common.buy 17.11 lei
Nerv se Belastung Bei Industrieller Arbeit Unter Zeitdruck Otto Graf / Carte Carte broșată
common.buy 292.39 lei
Grundkonzeptionen Der Stabilisierungspolitik Horst Friedrich / Carte Carte broșată
common.buy 292.39 lei
Aile Katılımlı Performans Goerevleri Akay Yasin / Carte Carte broșată
common.buy 393.65 lei
Kreikan kielioppi Carl Johan Lindeqvist / Carte Carte broșată
common.buy 133.74 lei
Deutsche Revue Richard Fleischer / Carte Carte broșată
common.buy 226.91 lei
Prostranstvennyj analiz raznoobraziya lesnogo rastitetel'nogo pokrova Kim Thoa Fam Thi / Carte Carte broșată
common.buy 270.91 lei

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 11 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 83 submissions. The papers have been organized in topical sections on HOL, SAT and QBF, SMT, equational reasoning, verification, proof theory, modal and temporal reasoning, SMT and SAT, modal logic, complexity, description logics and knowledge representation and reasoning.

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 Automated Reasoning
Autor Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 528
EAN 9783319085869
ISBN 3319085867
Codul Libristo 02735047
Editura Springer International Publishing AG
Greutatea 8307
Dimensiuni 155 x 235 x 29

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 > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Key Linda Lindsay / Carte Carte broșată
common.buy 47.30 lei
Dying to Meet You Michael Cox / Carte Carte broșată
common.buy 34.33 lei
Healing Crystals First Aid Manual Michael Geinger / Carte Carte broșată
common.buy 124.19 lei
Art and Democracy in Post-Communist Europe Piotr Piotrowski / Carte Carte broșată
common.buy 353.71 lei
Like Dreamers Yossi Klein Halevi / Carte Carte broșată
common.buy 99.81 lei
Secret Geneva Christian Vellas / Carte Carte broșată
common.buy 119.73 lei
Severe Attachment Disorder in Childhood Niels P. Rygaard / Carte Copertă tare
common.buy 598.79 lei
Open Plan Offices Cecilia Bengtsson / Carte Carte broșată
common.buy 282.22 lei
Libyan Air Wars Part 2: 1985-1986 Arnaud Delande / Carte Carte broșată
common.buy 118.17 lei
Return to Skunk Corners Rebecca M. Douglass / Carte Carte broșată
common.buy 64.43 lei
Tallit, The Charlie Kluge / Carte Carte broșată
common.buy 83.62 lei
Shoes! Wayne Brott / Carte Copertă tare
common.buy 67.02 lei
Sermons Preach'd Upon Several Occasions, None of Them Before Printed Dawes / Carte Copertă tare
common.buy 214.98 lei
Study Guide for Mark Twain's A Connecticut Yankee in King Arthur's Court Cengage Learning Gale / Carte Carte broșată
common.buy 64.63 lei
Tales of the Imagination; VOL. II Ross / Carte Carte broșată
common.buy 126.58 lei
Off The Rails Beppe Severgnini / Carte Copertă tare
common.buy 131.14 lei
Goodbye Boyfriend Christina Benjamin / Carte Copertă tare
common.buy 131.14 lei
The Art of Arranging and Orchestration Johnathan Bruce Elder / Carte Carte broșată
common.buy 195.06 lei
Move With A Purpose Chess Score Book: Chess Players Log Scorebook Notebook Cyberhutt West Books / Carte Carte broșată
common.buy 41.91 lei
Diabetes Log Book Miriam Gania / Carte Carte broșată
common.buy 67.23 lei
Digital Forensics and Watermarking Bin Ma / Carte Carte broșată
common.buy 432.36 lei
Curând
EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP Orlando Lopez / Carte Copertă tare
common.buy 1 720.64 lei
Open Doors: 3: Student's Book Norman Whitney / Carte Carte broșată
common.buy 82.27 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?