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

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

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

30 dní na vrácení zboží

Zákazníci také koupili

Leto tvojej nehy Juraj Kalnický / Kniha Pevná
common.buy 76 Kč
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Kniha Pevná
common.buy 329 Kč
Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Audio Audio CD
common.buy 1 456 Kč
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Kniha Kniha
common.buy 414 Kč
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Kniha Brožovaná
common.buy 239 Kč
CONTRE-NOIR MATTHIEU PECK / Kniha Brožovaná
common.buy 611 Kč
Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Kniha Pevná
common.buy 450 Kč
Mezi vilami Justin Quinn / Kniha Pevná
common.buy 250 Kč
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Kniha Brožovaná
common.buy 258 Kč
Promenades A Chamouni Lutz-M / Kniha Brožovaná
common.buy 336 Kč
Karma Tolstói / Kniha Brožovaná
common.buy 296 Kč
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Kniha Brožovaná
common.buy 765 Kč

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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 Matthias Baaz, Andrei Voronkov
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 470
EAN 9783540000105
ISBN 3540000100
Libristo kód 01555913
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1490
Rozměry 155 x 235 x 27

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

Non Coding RNAs in Plants Volker A. Erdmann / Kniha Brožovaná
common.buy 4 707 Kč
Army of Shadows Joseph Kessel / Kniha Brožovaná
common.buy 392 Kč
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Kniha Pevná
common.buy 3 208 Kč
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Kniha Pevná
common.buy 1 164 Kč
Připravujeme
Skills-Based Health Education Mary Connolly / Kniha Brožovaná
common.buy 3 629 Kč
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Kniha Brožovaná
common.buy 361 Kč
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Kniha Brožovaná
common.buy 657 Kč
Family Tree Albany De Fonblanque / Kniha Pevná
common.buy 794 Kč
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Kniha Brožovaná
common.buy 1 135 Kč
Life Less Throwaway Tara Button / Kniha Brožovaná
common.buy 347 Kč
NETWORKING 2012 Workshops Zdenek Becvar / Kniha Brožovaná
common.buy 1 182 Kč
Ice Kevin Tinto / Kniha Brožovaná
common.buy 372 Kč
Chemistry: Theory and Practice BRUCE HORAK / Kniha Pevná
common.buy 2 962 Kč
Nursing Care and ECMO Chirine Mossadegh / Kniha Brožovaná
common.buy 879 Kč
Hymns for Brass: Conductor Hal Leonard Corp / Kniha Brožovaná
common.buy 308 Kč
Write Now Inga Dubay / Kniha Brožovaná
common.buy 308 Kč
New Spring: Prequel to the Wheel of Time Robert Jordan / Kniha Brožovaná
common.buy 179 Kč
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Kniha Brožovaná
common.buy 1 482 Kč
Through Deserts And Oases Of Central Asia Ella Sykes / Kniha Pevná
common.buy 1 054 Kč
Připravujeme
National Geographic Traveler Japan 7th Edition E07 / Kniha Brožovaná
common.buy 550 Kč
Broken Boundaries Katherine M. Quinsey / Kniha Brožovaná
common.buy 791 Kč
Seed-borne plant virus diseases K. Subramanya Sastry / Kniha Pevná
common.buy 3 532 Kč
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Kniha Brožovaná
common.buy 1 162 Kč
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / Kniha Brožovaná
common.buy 1 503 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