phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Logic for Programming, Artificial Intelligence, and Reasoning

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic for Programming, Artificial Intelligence, and Reasoning Moshe Vardi
Libristo kód: 01558600
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2003
This book constitutes the refereed proceedings of the 10th International Conference on Logic Program... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Poník má problémy Jeanne Betancourt / Pevná
common.buy 141 Kč
Shakespeare's Troilus and Cressida and the Inns of Court Revels W.R. Elton / Pevná
common.buy 4 990 Kč
Discoverie of Witches Blake Morrison / Pevná
common.buy 403 Kč
Study in Realism John Laird / Brožovaná
common.buy 1 426 Kč
Biological Sampling in the Deep Sea Malcolm Clark / Pevná
common.buy 6 169 Kč
Připravujeme
Impfratgeber aus ganzheitlicher Sicht Georg Kneißl / Kniha
common.buy 548 Kč
Cold War and Decolonisation Andrea Benvenuti / Brožovaná
common.buy 1 182 Kč
Die Neuerfindung der Natur Donna Haraway / Brožovaná
common.buy 749 Kč
Design of Ship Hull Structures Yasuhisa Okumoto / Brožovaná
common.buy 5 985 Kč
Barfussele Berthold Auerbach / Pevná
common.buy 1 458 Kč
Sprichwoerter bei den roemischen Komiker Wilhelm von Wyss / Brožovaná
common.buy 1 810 Kč
Allah, Tabiat ve Tarih saban Ali Düzgün / Brožovaná
common.buy 403 Kč
Body and Soul; Or Life, Mind, and Matter, Considered as to Their Peculiar Nature, and Combined Condition in Living Things George Redford / Pevná
common.buy 981 Kč
Magic Realist Cinema in East Central Europe Aga Skrodzka / Pevná
common.buy 3 730 Kč
European Retail Research Dirk Morschett / Brožovaná
common.buy 1 681 Kč
Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar / Brožovaná
common.buy 1 506 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.

Informace o knize

Plný název Logic for Programming, Artificial Intelligence, and Reasoning
Autor Moshe Vardi, Andrei Voronkov
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 436
EAN 9783540201014
ISBN 3540201017
Libristo kód 01558600
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1400
Rozměry 155 x 233 x 25

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet