Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Term Indexing

Lingua IngleseInglese
Libro In brossura
Libro Term Indexing Peter Graf
Codice Libristo: 01566112
Casa editrice Springer, Berlin, novembre 1995
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Kennzahlen im Krankenhaus Winfried Zapp / Libro In brossura
common.buy 40.19 €
Diccionario del habla granaína Alfredo Leyva Almendros / Libro In brossura
common.buy 13.89 €
Kein Tod auf Golgatha Johannes Fried / Libro Rigido
common.buy 18.79 €
'objektiven' Toten Ina König / Libro In brossura
common.buy 36.99 €
La joie de mettre au monde un homme : Méditations de futurs parents Belleperche Libro In brossura
common.buy 13.19 €
Planche des Cinq éléments en acupuncture / Libro binding.
common.buy 7.89 €
BEST OF SPIRITUALS & GOSPELS CHANT HANS LUEDEMANN Libro binding.
common.buy 49.19 €
Sentido y alcance de la rendición de cuentas Aguilera Hintelholher / Libro In brossura
common.buy 25.69 €
Diccionario Universal de Agricultura (Tomo 4) Rozier / Libro In brossura
common.buy 32.29 €
Sistema de Restauracion Adaptativa Grigori Grabovoi / Libro In brossura
common.buy 21.79 €
Die böhmischen Exulanten in Sachsen Christian Adolph Pescheck / Libro In brossura
common.buy 26.89 €
ESC¶NDALO NA CORTE CREWS / Libro Libro
common.buy 5.79 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Term Indexing
Autore Peter Graf
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 294
EAN 9783540610403
ISBN 3540610405
Codice Libristo 01566112
Casa editrice Springer, Berlin
Peso 414
Dimensioni 156 x 234 x 16

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Confessions of an Ugly Stepsister Gregory Magguire / Libro In brossura
common.buy 12.49 €
Critical Care Update 2023 Rajesh Chandra Mishra / Libro In brossura
common.buy 64.79 €
German Boxer Training Claudia Kaiser / Libro In brossura
common.buy 12.19 €
Remembering J. Z. Smith Emily D. Crews / Libro Rigido
common.buy 110.89 €
Python API Development Fundamentals Ray Chung / Libro In brossura
common.buy 41.69 €
33 Days to Morning Glory Michael E. Gaitley / Libro In brossura
common.buy 14.29 €
Deliver Us from Evil Ron Williams / Libro In brossura
common.buy 20.09 €
Deliver Us from Evil Timothy R. Matthews / Libro In brossura
common.buy 17.89 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?