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 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 125 b
270.90 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Curând
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Carte Carte broșată
common.buy 130.91 lei
Le Passage du Désir Almira / Carte Carte broșată
common.buy 61.29 lei
Curând
Rodina v 21. století collegium / Carte Carte broșată
common.buy 22.57 lei
La caldera de los sueños MOLINA / Carte Carte broșată
common.buy 93.86 lei
Educación infantil, 3 a?os / Carte Carte broșată
common.buy 117.07 lei
Řeknu o tobě hvězdám Edyta Prusinowska / Carte Carte broșată
common.buy 74.72 lei
Nauka jazdy na rolkach C. Oach / Carte Carte broșată
common.buy 78.46 lei
Suburban Hell Taro Kanafuro / Carte Carte broșată
common.buy 170.57 lei
Paladyn z ziem dalekich 7 Okubashi Mutsumi / Carte Carte broșată
common.buy 37.25 lei
Meine glitzernden Anziehpuppen-Stickerbücher mini: Im Ballett, Feen, Freundinnen und Prinzessinnen / Carte Carte broșată
common.buy 57.44 lei
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Carte Carte broșată
common.buy 183.16 lei
Les Tribulations d'un Chinois en Chine Jules Verne / Carte Carte broșată
common.buy 67.22 lei
Leftin
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Joc / Jucărie Joc
common.buy 61.29 lei
A>tze, das Tintenmonster Ursel Scheffler / Carte Carte broșată
common.buy 29.65 lei
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Carte Carte broșată
common.buy 420.03 lei
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Carte Carte broșată
common.buy 99.90 lei
Heilkunst und Humor Rosina Sonnenschmidt / Carte Copertă tare
common.buy 144.34 lei
Top
Theodor Fontane: Effi Briest Theodor Fontane / Carte Copertă tare
common.buy 29.44 lei
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Carte Carte broșată
common.buy 182.74 lei
Erste Ukrainische Lesebuch fur Anfanger Olena Dniprova / Carte Carte broșată
common.buy 127.17 lei
Nachsommer Adalbert Stifter / Carte Carte broșată
common.buy 208.24 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 540.14 lei
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Carte Carte broșată
common.buy 600.08 lei
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Carte Carte broșată
common.buy 141.32 lei
Global Renewal Christianity Amos Yong / Carte Copertă tare
common.buy 173.17 lei
5 Things to Pray for Your Church Jones / Carte Carte broșată
common.buy 36.83 lei
Perpetrators Victims Bystanders Raul Hilberg / Carte Carte broșată
common.buy 78.88 lei
Worldwar Harry Turtledove / Carte Carte broșată
common.buy 48.28 lei
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Carte Copertă tare
common.buy 251.85 lei
JENNY BOOTH ELIZABETH EDI PIGOT / Carte Copertă tare
common.buy 173.79 lei
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Carte Carte broșată
common.buy 47.03 lei
The Death of the Wicked Anne Barton / Carte Carte broșată
common.buy 81.69 lei
SAS Certified Professional Prep Guide Sas Institute / Carte Copertă tare
common.buy 787.63 lei
Just for You Francesca Pirrone / Carte Copertă tare
common.buy 73.26 lei
John and the Big Wish Laura Watkins / Carte Copertă tare
common.buy 48.28 lei
Computational Algebraic Geometry Frederic Eyssette / Carte Carte broșată
common.buy 270.90 lei
Advances in X-Ray Analysis Charles S. Barrett / Carte Carte broșată
common.buy 270.90 lei
English Drama Before Shakespeare Peter Happe / Carte Carte broșată
common.buy 412.02 lei
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Carte Carte broșată
common.buy 323.76 lei
Gender and Nation Building in the Middle East Elise G Young / Carte Copertă tare
common.buy 1 093.40 lei
Con Men, The Leo Gough / Carte Carte broșată
common.buy 138.72 lei
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Carte Copertă tare
common.buy 1 055.31 lei
Pascal John Tulloch / Carte Carte broșată
common.buy 61.29 lei
Future of Drylands Cathy Lee / Carte Copertă tare
common.buy 1 078.62 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?