Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic for Programming, Artificial Intelligence, and Reasoning

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

Język AngielskiAngielski
Książka Miękka
Książka Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Kod Libristo: 01569358
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Zapowiedź
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Książka Miękka
common.buy 106.33 zł
Rodina v 21. století collegium / Książka Miękka
common.buy 16.63 zł
Theodor Fontane: Effi Briest Theodor Fontane / Książka Twarda
common.buy 23.74 zł
Suburban Hell Taro Kanafuro / Książka Miękka
common.buy 130.49 zł
Educación infantil, 3 a?os / Książka Miękka
common.buy 81.38 zł
Le Passage du Désir Almira / Książka Miękka
common.buy 50.50 zł
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Książka Miękka
common.buy 163.26 zł
Les Tribulations d'un Chinois en Chine Jules Verne / Książka Miękka
common.buy 51.11 zł
Tanie
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Gra/Zabawka Gra
common.buy 38.68 zł
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Książka Miękka
common.buy 147.42 zł
A>tze, das Tintenmonster Ursel Scheffler / Książka Miękka
common.buy 23.95 zł
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Książka Miękka
common.buy 339.06 zł
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Książka Miękka
common.buy 76.06 zł
Heilkunst und Humor Rosina Sonnenschmidt / Książka Twarda
common.buy 116.56 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic for Programming, Artificial Intelligence, and Reasoning
Autor Nachum Dershowitz, Andrei Voronkov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 564
EAN 9783540755586
ISBN 3540755586
Kod Libristo 01569358
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 878
Wymiary 155 x 235 x 32

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Catalysis Michel Boudart / Książka Miękka
common.buy 435.98 zł
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Książka Miękka
common.buy 484.79 zł
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Książka Miękka
common.buy 107.53 zł
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Książka Twarda
common.buy 193.83 zł
5 Things to Pray for Your Church Jones / Książka Miękka
common.buy 28.15 zł
Perpetrators Victims Bystanders Raul Hilberg / Książka Miękka
common.buy 64.04 zł
Worldwar Harry Turtledove / Książka Miękka
common.buy 32.56 zł
Global Renewal Christianity Amos Yong / Książka Twarda
common.buy 132.39 zł
JENNY BOOTH ELIZABETH EDI PIGOT / Książka Twarda
common.buy 133.79 zł
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Książka Miękka
common.buy 36.17 zł
The Death of the Wicked Anne Barton / Książka Miękka
common.buy 62.83 zł
SAS Certified Professional Prep Guide Sas Institute / Książka Twarda
common.buy 606.37 zł
Just for You Francesca Pirrone / Książka Twarda
common.buy 54.91 zł
John and the Big Wish Laura Watkins / Książka Twarda
common.buy 36.87 zł
Advances in X-Ray Analysis Charles S. Barrett / Książka Miękka
common.buy 218.69 zł
Gender and Nation Building in the Middle East Elise G Young / Książka Twarda
common.buy 844.31 zł
Con Men, The Leo Gough / Książka Miękka
common.buy 111.94 zł
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Książka Twarda
common.buy 851.82 zł
Future of Drylands Cathy Lee / Książka Twarda
common.buy 870.67 zł
Pascal John Tulloch / Książka Miękka
common.buy 49.50 zł
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Książka Miękka
common.buy 249.86 zł
English Drama Before Shakespeare Peter Happe / Książka Miękka
common.buy 318.41 zł
Computational Algebraic Geometry Frederic Eyssette / Książka Miękka
common.buy 218.69 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo