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.

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Codul Libristo: 01569358
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Curând
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Carte Carte broșată
common.buy 132.01 lei
Rodina v 21. století collegium / Carte Carte broșată
common.buy 21.89 lei
Theodor Fontane: Effi Briest Theodor Fontane / Carte Copertă tare
common.buy 31.06 lei
Suburban Hell Taro Kanafuro / Carte Carte broșată
common.buy 170.90 lei
Educación infantil, 3 a?os / Carte Carte broșată
common.buy 106.56 lei
Le Passage du Désir Almira / Carte Carte broșată
common.buy 62.76 lei
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Carte Carte broșată
common.buy 202.60 lei
Les Tribulations d'un Chinois en Chine Jules Verne / Carte Carte broșată
common.buy 67.35 lei
Leftin
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Joc / Jucărie Joc
common.buy 48.06 lei
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Carte Carte broșată
common.buy 193.74 lei
A>tze, das Tintenmonster Ursel Scheffler / Carte Carte broșată
common.buy 31.27 lei
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Carte Carte broșată
common.buy 444.11 lei
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Carte Carte broșată
common.buy 100.10 lei
Heilkunst und Humor Rosina Sonnenschmidt / Carte Copertă tare
common.buy 152.65 lei

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

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 Logic for Programming, Artificial Intelligence, and Reasoning
Autor Nachum Dershowitz, Andrei Voronkov
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 564
EAN 9783540755586
ISBN 3540755586
Codul Libristo 01569358
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 878
Dimensiuni 155 x 235 x 32

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 > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Catalysis Michel Boudart / Carte Carte broșată
common.buy 570.50 lei
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Carte Carte broșată
common.buy 601.78 lei
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Carte Carte broșată
common.buy 141.60 lei
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Carte Copertă tare
common.buy 252.34 lei
5 Things to Pray for Your Church Jones / Carte Carte broșată
common.buy 37.11 lei
Perpetrators Victims Bystanders Raul Hilberg / Carte Carte broșată
common.buy 79.45 lei
Worldwar Harry Turtledove / Carte Carte broșată
common.buy 42.95 lei
Global Renewal Christianity Amos Yong / Carte Copertă tare
common.buy 173.51 lei
JENNY BOOTH ELIZABETH EDI PIGOT / Carte Copertă tare
common.buy 174.13 lei
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Carte Carte broșată
common.buy 47.12 lei
The Death of the Wicked Anne Barton / Carte Carte broșată
common.buy 81.85 lei
SAS Certified Professional Prep Guide Sas Institute / Carte Copertă tare
common.buy 789.17 lei
Just for You Francesca Pirrone / Carte Copertă tare
common.buy 73.40 lei
John and the Big Wish Laura Watkins / Carte Copertă tare
common.buy 48.37 lei
Advances in X-Ray Analysis Charles S. Barrett / Carte Carte broșată
common.buy 286.02 lei
Gender and Nation Building in the Middle East Elise G Young / Carte Copertă tare
common.buy 1 095.53 lei
Con Men, The Leo Gough / Carte Carte broșată
common.buy 147.02 lei
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Carte Copertă tare
common.buy 1 115.97 lei
Future of Drylands Cathy Lee / Carte Copertă tare
common.buy 1 139.23 lei
Pascal John Tulloch / Carte Carte broșată
common.buy 65.16 lei
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Carte Carte broșată
common.buy 324.40 lei
English Drama Before Shakespeare Peter Happe / Carte Carte broșată
common.buy 412.83 lei
Computational Algebraic Geometry Frederic Eyssette / Carte Carte broșată
common.buy 286.02 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