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

15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Logic for Programming, Artificial Intelligence, and Reasoning Iliano Cervesato
Kod Libristo: 01571017
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2008
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Pro... Cały opis
? points 277 b
Gwarancja
najlepszej
ceny ▸
486.58 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Sporťákovy pohádky z celého světa Vojtěch Bernatský / Książka Twarda
common.buy 57.03 zł
Esku alatt Steve Cavanagh / E-book Adobe ePub DRM
common.buy 52.80 zł
BATMAN: EL REGRESO DEL CABALLERO OSCURO (DC BLACK LABEL POCKET) MILLER / Książka Miękka
common.buy 65.68 zł
NÁBOŽENSTVÍ V GLOBÁLNÍ OBČANSKÉ SPOLEČNOSTI Jiří Hanuš / Książka Książka
common.buy 30.17 zł
Die Sachkultur des Mittelalters im Lichte der archaeologischen Funde Sabine Felgenhauer-Schmiedt / Książka Miękka
common.buy 325.32 zł
EL BRUC : EL MEDI, LA HISTORIA, L'ART ESTRADA PLANELL / Książka Książka
common.buy 67.79 zł
Pediatra de Atención Primaria del Servicio Aragonés de Salud. Temario común volumen 2 Editores / Książka Miękka
common.buy 188.61 zł
TOP
Bůh a božství v německém filosofickém myšlení Ladislav Benyovszky / Książka Miękka
common.buy 44.25 zł
Annali Dell' Industria E Del Commercio, 1882: Il Corallo (1883) Giovanni Canestrini / Książka Miękka
common.buy 106.42 zł

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.§The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal 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 Iliano Cervesato, Helmut Veith, Andrei Voronkov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 714
EAN 9783540894384
ISBN 3540894381
Kod Libristo 01571017
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1098
Wymiary 155 x 235 x 28

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 > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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ć

Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products Y. Asakawa / Książka Miękka
common.buy 486.58 zł
Picture of God Daniel Speck / Książka Miękka
common.buy 55.52 zł
Monograph on Privately Illustrated Books Daniel M. (Daniel Melanctho Tredwell / Książka Twarda
common.buy 166.58 zł
Rick And Morty Presents Vol. 4 Alex Firer / Książka Miękka
common.buy 73.53 zł
Samy the Star JULIE GASIOR / Książka Miękka
common.buy 53.00 zł
Analysis of Pretest-Posttest Designs Peter L. Bonate / Książka Miękka
common.buy 306.41 zł
The Capture And Execution Of John Brown: A Tale Of Martyrdom (1906) Elijah Avey / Książka Miękka
common.buy 81.98 zł
European Glimpses and Glances J. M. Emerson / Książka Twarda
common.buy 138.31 zł
Synthetic Biology: A Very Short Introduction Jamie A. (British) Davies / Książka Miękka
common.buy 45.26 zł
Conversion Ruined: The New Perspective and the Conversion of Sinners David H J Gay / Książka Miękka
common.buy 26.35 zł
VITAL RECORDS OF WESTPORT, MASSACHUSETTS WESTPORT WESTPORT / Książka Miękka
common.buy 98.17 zł
Inside the Gates of Doons Mirika Mayo Cornelius / Książka Miękka
common.buy 55.52 zł
Religious Education as Practical Theology Essays in Honour of Professor Herman Lombaerts Graham Warren / Książka Miękka
common.buy 305.91 zł
Grimm's Fairy Stories Jacob Grimm / Książka Miękka
common.buy 49.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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?