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.

Term Indexing

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Term Indexing Peter Graf
Libristo kód: 01566112
Nakladatelství Springer, Berlin, listopad 1995
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated... 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

Kennzahlen im Krankenhaus Winfried Zapp / Kniha Brožovaná
common.buy 875 Kč
Diccionario del habla granaína Alfredo Leyva Almendros / Kniha Brožovaná
common.buy 447 Kč
Kein Tod auf Golgatha Johannes Fried / Kniha Pevná
common.buy 410 Kč
'objektiven' Toten Ina König / Kniha Brožovaná
common.buy 805 Kč
La joie de mettre au monde un homme : Méditations de futurs parents Belleperche Kniha Brožovaná
common.buy 308 Kč
Planche des Cinq éléments en acupuncture / Kniha binding.
common.buy 183 Kč
BEST OF SPIRITUALS & GOSPELS CHANT HANS LUEDEMANN Kniha binding.
common.buy 1 153 Kč
Sentido y alcance de la rendición de cuentas Aguilera Hintelholher / Kniha Brožovaná
common.buy 630 Kč
Diccionario Universal de Agricultura (Tomo 4) Rozier / Kniha Brožovaná
common.buy 793 Kč
Sistema de Restauracion Adaptativa Grigori Grabovoi / Kniha Brožovaná
common.buy 481 Kč
Die böhmischen Exulanten in Sachsen Christian Adolph Pescheck / Kniha Brožovaná
common.buy 586 Kč
ESC¶NDALO NA CORTE CREWS / Kniha Kniha
common.buy 142 Kč

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.

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 Term Indexing
Autor Peter Graf
Jazyk 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

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
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

Confessions of an Ugly Stepsister Gregory Magguire / Kniha Brožovaná
common.buy 248 Kč
Critical Care Update 2023 Rajesh Chandra Mishra / Kniha Brožovaná
common.buy 1 369 Kč
German Boxer Training Claudia Kaiser / Kniha Brožovaná
common.buy 271 Kč
Remembering J. Z. Smith Emily D. Crews / Kniha Pevná
common.buy 2 345 Kč
Python API Development Fundamentals Ray Chung / Kniha Brožovaná
common.buy 925 Kč
Top
33 Days to Morning Glory Michael E. Gaitley / Kniha Brožovaná
common.buy 287 Kč
Deliver Us from Evil Ron Williams / Kniha Brožovaná
common.buy 444 Kč
Deliver Us from Evil Timothy R. Matthews / Kniha Brožovaná
common.buy 391 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