Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Term Indexing

Name: Term Indexing
Brand: Springer, Berlin
SKU: 01566112
Price: 54.3 EUR
Availability: InStock
Author: Peter Graf
ISBN: 9783540610403

Peter Graf

Език

Английски език

Книга С меки корици

Код Либристо: 01566112

Издателство Springer, Berlin, ноември 1995

Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated... Цялото описание

Код Либристо: 01566112

132 b

54.30 €

106.21 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Kennzahlen im Krankenhaus Winfried Zapp

С меки корици

40.57 € 79.35 лв

Diccionario del habla granaína Alfredo Leyva Almendros

С меки корици

23.02 € 45.02 лв

Kein Tod auf Golgatha Johannes Fried

С твърди корици

18.99 € 37.15 лв

'objektiven' Toten Ina König

С меки корици

37.32 € 72.99 лв

La joie de mettre au monde un homme : Méditations de futurs parents Belleperche Книга

С меки корици

13.31 € 26.04 лв

Planche des Cinq éléments en acupuncture

binding.

7.95 € 15.54 лв

BEST OF SPIRITUALS & GOSPELS CHANT HANS LUEDEMANN Книга

binding.

49.71 € 97.22 лв

Sentido y alcance de la rendición de cuentas Aguilera Hintelholher

С меки корици

27.05 € 52.90 лв

Diccionario Universal de Agricultura (Tomo 4) Rozier

С меки корици

34.02 € 66.53 лв

Sistema de Restauracion Adaptativa Grigori Grabovoi

С меки корици

20.90 € 40.88 лв

Die böhmischen Exulanten in Sachsen Christian Adolph Pescheck

С меки корици

27.20 € 53.20 лв

ESC¶NDALO NA CORTE CREWS

Книга

6.09 € 11.90 лв

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.