Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Term Indexing Peter Graf

Term Indexing

Autor: Peter Graf
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
217.33 zł
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated...

Informacje o książce

Autor
Peter Graf
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1996
strony
294
EAN
9783540610403
ISBN
3540610405
Enbook ID
01566112
Wydawca
Springer, Berlin
Waga
414
Wymiary
156 x 234 x 16

Pełny opis

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.

Możesz być zainteresowany

Confessions of an Ugly Stepsister

Gregory Magguire
49.89 zł

Critical Care Update 2023

Rajesh Chandra Mishra
238.05 zł

German Boxer Training

Claudia Kaiser
49.49 zł

Remembering J. Z. Smith

Emily D. Crews
407.69 zł

Python API Development Fundamentals

Ray Chung
169.02 zł

33 Days to Morning Glory

Michael E. Gaitley
57.06 zł

Deliver Us from Evil

Ron Williams
81.17 zł

Deliver Us from Evil

Timothy R. Matthews
72.11 zł

Klienci, którzy kupili tę książkę, kupili również

Kennzahlen im Krankenhaus

Winfried Zapp
161.65 zł

Diccionario del habla granaína

Alfredo Leyva Almendros
59.06 zł

Kein Tod auf Golgatha

Johannes Fried
75.59 zł

'objektiven' Toten

Ina König
148.61 zł

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

Belleperche
53.38 zł

Planche des Cinq éléments en acupuncture

31.77 zł

BEST OF SPIRITUALS & GOSPELS CHANT

HANS LUEDEMANN
200.30 zł

Sentido y alcance de la rendición de cuentas

Aguilera Hintelholher
109.56 zł

Diccionario Universal de Agricultura (Tomo 4)

Rozier
137.65 zł

Sistema de Restauracion Adaptativa

Grigori Grabovoi
88.14 zł

Die böhmischen Exulanten in Sachsen

Christian Adolph Pescheck
108.26 zł

ESC¶NDALO NA CORTE

CREWS
24.69 zł