Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logic for Programming, Artificial Intelligence, and Reasoning

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Libristo kód: 01569358
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Připravujeme
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Kniha Brožovaná
common.buy 608 Kč
Rodina v 21. století collegium / Kniha Brožovaná
common.buy 89 Kč
Theodor Fontane: Effi Briest Theodor Fontane / Kniha Pevná
common.buy 130 Kč
Suburban Hell Taro Kanafuro / Kniha Brožovaná
common.buy 705 Kč
Educación infantil, 3 a?os / Kniha Brožovaná
common.buy 465 Kč
Le Passage du Désir Almira / Kniha Brožovaná
common.buy 289 Kč
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Kniha Brožovaná
common.buy 933 Kč
Les Tribulations d'un Chinois en Chine Jules Verne / Kniha Brožovaná
common.buy 274 Kč
Levně
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Hra/Hračka Hra
common.buy 221 Kč
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Kniha Brožovaná
common.buy 793 Kč
A>tze, das Tintenmonster Ursel Scheffler / Kniha Brožovaná
common.buy 131 Kč
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Kniha Brožovaná
common.buy 1 831 Kč
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Kniha Brožovaná
common.buy 410 Kč
Heilkunst und Humor Rosina Sonnenschmidt / Kniha Pevná
common.buy 629 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic for Programming, Artificial Intelligence, and Reasoning
Autor Nachum Dershowitz, Andrei Voronkov
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2007
Počet stran 564
EAN 9783540755586
ISBN 3540755586
Libristo kód 01569358
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 878
Rozměry 155 x 235 x 32

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

Mohlo by vás také zajímat

Catalysis Michel Boudart / Kniha Brožovaná
common.buy 2 357 Kč
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Kniha Brožovaná
common.buy 2 646 Kč
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Kniha Brožovaná
common.buy 615 Kč
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Kniha Pevná
common.buy 1 054 Kč
5 Things to Pray for Your Church Jones / Kniha Brožovaná
common.buy 150 Kč
Perpetrators Victims Bystanders Raul Hilberg / Kniha Brožovaná
common.buy 318 Kč
Worldwar Harry Turtledove / Kniha Brožovaná
common.buy 175 Kč
Global Renewal Christianity Amos Yong / Kniha Pevná
common.buy 715 Kč
JENNY BOOTH ELIZABETH EDI PIGOT / Kniha Pevná
common.buy 728 Kč
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Kniha Brožovaná
common.buy 196 Kč
The Death of the Wicked Anne Barton / Kniha Brožovaná
common.buy 340 Kč
SAS Certified Professional Prep Guide Sas Institute / Kniha Pevná
common.buy 3 298 Kč
Just for You Francesca Pirrone / Kniha Pevná
common.buy 290 Kč
John and the Big Wish Laura Watkins / Kniha Pevná
common.buy 200 Kč
Advances in X-Ray Analysis Charles S. Barrett / Kniha Brožovaná
common.buy 1 182 Kč
Gender and Nation Building in the Middle East Elise G Young / Kniha Pevná
common.buy 4 606 Kč
Con Men, The Leo Gough / Kniha Brožovaná
common.buy 602 Kč
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Kniha Pevná
common.buy 4 599 Kč
Future of Drylands Cathy Lee / Kniha Pevná
common.buy 4 707 Kč
Pascal John Tulloch / Kniha Brožovaná
common.buy 267 Kč
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Kniha Brožovaná
common.buy 1 362 Kč
English Drama Before Shakespeare Peter Happe / Kniha Brožovaná
common.buy 1 740 Kč
Computational Algebraic Geometry Frederic Eyssette / Kniha Brožovaná
common.buy 1 182 Kč

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