Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Term Indexing

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

Peter Graf

Sprache

Englisch

Buch Broschur

Libristo-Code: 01566112

Verlag Springer, Berlin, November 1995

Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated... Vollständige Beschreibung

Libristo-Code: 01566112

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Kennzahlen im Krankenhaus Winfried Zapp

Broschur

43.00 €

Diccionario del habla granaína Alfredo Leyva Almendros

Broschur

20.39 €

Kein Tod auf Golgatha Johannes Fried

Hardcover

19.95 €

'objektiven' Toten Ina König

Broschur

39.50 €

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

Broschur

13.19 €

Planche des Cinq éléments en acupuncture

binding.

7.79 €

BEST OF SPIRITUALS & GOSPELS CHANT HANS LUEDEMANN Buch

binding.

49.19 €

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

Broschur

26.89 €

Diccionario Universal de Agricultura (Tomo 4) Rozier

Broschur

33.79 €

Sistema de Restauracion Adaptativa Grigori Grabovoi

Broschur

21.79 €

Die böhmischen Exulanten in Sachsen Christian Adolph Pescheck

Broschur

28.70 €

ESC¶NDALO NA CORTE CREWS

Buch

6.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Term Indexing

Autor Peter Graf

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 294

EAN 9783540610403

ISBN 3540610405

Libristo-Code 01566112

Verlag Springer, Berlin

Gewicht 414

Abmessungen 156 x 234 x 16

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Confessions of an Ugly Stepsister Gregory Magguire

Broschur

12.49 €

Critical Care Update 2023 Rajesh Chandra Mishra

Broschur

64.79 €

German Boxer Training Claudia Kaiser

Broschur

12.19 €

Remembering J. Z. Smith Emily D. Crews

Hardcover

110.89 €

Python API Development Fundamentals Ray Chung

Broschur

41.69 €

33 Days to Morning Glory Michael E. Gaitley

Broschur

14.29 €

Deliver Us from Evil Ron Williams

Broschur

20.09 €

Deliver Us from Evil Timothy R. Matthews

Broschur

17.89 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater