Menu
Află starea comenzii
Contactați-ne
Carte Term Indexing Peter Graf

Term Indexing

Autor: Peter Graf
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.84 lei
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated...

Informații despre carte

Autor
Peter Graf
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1996
Pagini
294
EAN
9783540610403
ISBN
3540610405
Enbook ID
01566112
Editura
Springer, Berlin
Greutate
414
Dimensiuni
156 x 234 x 16

Descriere completă

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.

S-ar putea să te intereseze

Confessions of an Ugly Stepsister

Gregory Magguire
64.28 lei

Critical Care Update 2023

Rajesh Chandra Mishra
302.88 lei

German Boxer Training

Claudia Kaiser
62.87 lei

Remembering J. Z. Smith

Emily D. Crews
518.77 lei

Python API Development Fundamentals

Ray Chung
214.37 lei

33 Days to Morning Glory

Michael E. Gaitley
73.37 lei

Deliver Us from Evil

Ron Williams
103.14 lei

Deliver Us from Evil

Timothy R. Matthews
92.24 lei

Clienții care au cumpărat această carte au mai cumpărat și

Kennzahlen im Krankenhaus

Winfried Zapp
206.80 lei

Diccionario del habla granaína

Alfredo Leyva Almendros
104.86 lei

Kein Tod auf Golgatha

Johannes Fried
96.88 lei

'objektiven' Toten

Ina König
190.24 lei

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

Belleperche
64.69 lei

Planche des Cinq éléments en acupuncture

38.44 lei

BEST OF SPIRITUALS & GOSPELS CHANT

HANS LUEDEMANN
242.32 lei

Sentido y alcance de la rendición de cuentas

Aguilera Hintelholher
132.41 lei

Diccionario Universal de Agricultura (Tomo 4)

Rozier
166.63 lei

Sistema de Restauracion Adaptativa

Grigori Grabovoi
112.02 lei

Die böhmischen Exulanten in Sachsen

Christian Adolph Pescheck
138.47 lei

ESC¶NDALO NA CORTE

CREWS
29.87 lei