Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Zásilkovna 44 Kč
Kurýr GLS 74 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Zásilkovna 44 Kč
Kurýr GLS 74 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Logic for Programming, Artificial Intelligence, and Reasoning
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog...
Celý popis
Libristo kód: 01563961
?
304 b
304 b
3 037
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
1 404
Kč
/
Brožovaná
3 037
Kč
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.
Informace o knize
Plný název
Logic for Programming, Artificial Intelligence, and Reasoning
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2001
Počet stran
741
EAN
9783540429579
ISBN
3540429573
Libristo kód
01563961
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
2310
Rozměry
155 x 233 x 41
