Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic for Programming, Artificial Intelligence, and Reasoning

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Libristo kod: 01569358
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Pripremamo
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Knjiga Meki uvez
common.buy 24.01 €
Le Passage du Désir Almira / Knjiga Meki uvez
common.buy 11.34 €
Rodina v 21. století collegium / Knjiga Meki uvez
common.buy 3.94 €
La caldera de los sueños MOLINA / Knjiga Meki uvez
common.buy 18.03 €
Educación infantil, 3 a?os / Knjiga Meki uvez
common.buy 20.36 €
Řeknu o tobě hvězdám Edyta Prusinowska / Knjiga Meki uvez
common.buy 13.47 €
Nauka jazdy na rolkach C. Oach / Knjiga Meki uvez
common.buy 14.28 €
Suburban Hell Taro Kanafuro / Knjiga Meki uvez
common.buy 30.90 €
Paladyn z ziem dalekich 7 Okubashi Mutsumi / Knjiga Meki uvez
common.buy 6.78 €
Meine glitzernden Anziehpuppen-Stickerbücher mini: Im Ballett, Feen, Freundinnen und Prinzessinnen / Knjiga Meki uvez
common.buy 10.94 €
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Knjiga Meki uvez
common.buy 34.95 €
Les Tribulations d'un Chinois en Chine Jules Verne / Knjiga Meki uvez
common.buy 12.05 €
Povoljno
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Igra/Igračka Igra
common.buy 11.75 €
A>tze, das Tintenmonster Ursel Scheffler / Knjiga Meki uvez
common.buy 5.67 €
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Knjiga Meki uvez
common.buy 80.26 €
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Knjiga Meki uvez
common.buy 18.03 €
Heilkunst und Humor Rosina Sonnenschmidt / Knjiga Tvrdi uvez
common.buy 27.56 €
Top
Theodor Fontane: Effi Briest Theodor Fontane / Knjiga Tvrdi uvez
common.buy 5.67 €
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Knjiga Meki uvez
common.buy 34.85 €
Erste Ukrainische Lesebuch fur Anfanger Olena Dniprova / Knjiga Meki uvez
common.buy 23.30 €
Nachsommer Adalbert Stifter / Knjiga Meki uvez
common.buy 39.82 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logic for Programming, Artificial Intelligence, and Reasoning
Autor Nachum Dershowitz, Andrei Voronkov
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2007
Broj stranica 564
EAN 9783540755586
ISBN 3540755586
Libristo kod 01569358
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 878
Dimenzije 155 x 235 x 32

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Catalysis Michel Boudart / Knjiga Meki uvez
common.buy 103.16 €
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Knjiga Meki uvez
common.buy 109.54 €
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Knjiga Meki uvez
common.buy 26.95 €
Global Renewal Christianity Amos Yong / Knjiga Tvrdi uvez
common.buy 31.31 €
5 Things to Pray for Your Church Jones / Knjiga Meki uvez
common.buy 6.68 €
Perpetrators Victims Bystanders Raul Hilberg / Knjiga Meki uvez
common.buy 14.08 €
Worldwar Harry Turtledove / Knjiga Meki uvez
common.buy 7.69 €
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Knjiga Tvrdi uvez
common.buy 45.90 €
JENNY BOOTH ELIZABETH EDI PIGOT / Knjiga Tvrdi uvez
common.buy 31.71 €
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Knjiga Meki uvez
common.buy 8.60 €
The Death of the Wicked Anne Barton / Knjiga Meki uvez
common.buy 14.89 €
SAS Certified Professional Prep Guide Sas Institute / Knjiga Tvrdi uvez
common.buy 143.50 €
Just for You Francesca Pirrone / Knjiga Tvrdi uvez
common.buy 12.96 €
John and the Big Wish Laura Watkins / Knjiga Tvrdi uvez
common.buy 8.71 €
Computational Algebraic Geometry Frederic Eyssette / Knjiga Meki uvez
common.buy 55.93 €
Advances in X-Ray Analysis Charles S. Barrett / Knjiga Meki uvez
common.buy 55.93 €
English Drama Before Shakespeare Peter Happe / Knjiga Meki uvez
common.buy 75.39 €
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Knjiga Meki uvez
common.buy 59.07 €
Gender and Nation Building in the Middle East Elise G Young / Knjiga Tvrdi uvez
common.buy 199.84 €
Con Men, The Leo Gough / Knjiga Meki uvez
common.buy 30.90 €
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Knjiga Tvrdi uvez
common.buy 216.77 €
Pascal John Tulloch / Knjiga Meki uvez
common.buy 11.75 €
Future of Drylands Cathy Lee / Knjiga Tvrdi uvez
common.buy 216.77 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?