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č
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Doprava zdarma se Zásilkovnou nad 1 499 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
Formal Methods in Artificial Intelligence
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha...
Celý popis
Libristo kód: 02030414
?
143 b
143 b
1 430
Kč
Skladem u dodavatele
Odesíláme za 15-20 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.
Informace o knize
Plný název
Formal Methods in Artificial Intelligence
Autor
Allan M. Ramsay
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
1991
Počet stran
292
EAN
9780521424219
ISBN
0521424216
Libristo kód
02030414
Nakladatelství
Cambridge University Press
Váha
470
Rozměry
170 x 244 x 16
Kategorie
