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
Term Indexing
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated...
Celý popis
Libristo kód: 01566112
?
168 b
168 b
1 681
Kč
Skladem u dodavatele v malém množství
Odesíláme za 14-18 dnů
30 dní na vrácení zboží
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Informace o knize
Plný název
Term Indexing
Autor
Peter Graf
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
1996
Počet stran
294
EAN
9783540610403
ISBN
3540610405
Libristo kód
01566112
Nakladatelství
Springer, Berlin
Váha
414
Rozměry
156 x 234 x 16
