Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Term Indexing Peter Graf

Term Indexing

Autor: Peter Graf
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.02 €
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated...

Informácie o knihe

Autor
Peter Graf
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1996
Stránok
294
EAN
9783540610403
ISBN
3540610405
Enbook ID
01566112
Vydavateľ
Springer, Berlin
Hmotnosť
414
Rozmery
156 x 234 x 16

Kompletný popis

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.

Mohlo by vás zaujímať

Confessions of an Ugly Stepsister

Gregory Magguire
11.44 €

Critical Care Update 2023

Rajesh Chandra Mishra
57.65 €

German Boxer Training

Claudia Kaiser
10.86 €

Remembering J. Z. Smith

Emily D. Crews
98.67 €

Python API Development Fundamentals

Ray Chung
37.00 €

33 Days to Morning Glory

Michael E. Gaitley
12.33 €

Deliver Us from Evil

Ron Williams
17.71 €

Deliver Us from Evil

Timothy R. Matthews
15.65 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Kennzahlen im Krankenhaus

Winfried Zapp
37.19 €

Diccionario del habla granaína

Alfredo Leyva Almendros
13.60 €

Kein Tod auf Golgatha

Johannes Fried
17.42 €

'objektiven' Toten

Ina König
34.16 €

La joie de mettre au monde un homme : Méditations de futurs parents

Belleperche
12.33 €

Planche des Cinq éléments en acupuncture

7.33 €

BEST OF SPIRITUALS & GOSPELS CHANT

HANS LUEDEMANN
46.10 €

Sentido y alcance de la rendición de cuentas

Aguilera Hintelholher
25.15 €

Diccionario Universal de Agricultura (Tomo 4)

Rozier
31.71 €

Sistema de Restauracion Adaptativa

Grigori Grabovoi
19.28 €

Die böhmischen Exulanten in Sachsen

Christian Adolph Pescheck
24.95 €

ESC¶NDALO NA CORTE

CREWS
5.67 €