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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Term Indexing

Name: Term Indexing
Brand: Springer, Berlin
SKU: 01566112
Price: 51.49 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

125 b

51.49 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kennzahlen im Krankenhaus Winfried Zapp

Broschur

38.29 €

Diccionario del habla granaína Alfredo Leyva Almendros

Broschur

14.00 €

Kein Tod auf Golgatha Johannes Fried

Hardcover

17.93 €

'objektiven' Toten Ina König

Broschur

35.16 €

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

Broschur

12.59 €

Planche des Cinq éléments en acupuncture

binding.

7.55 €

BEST OF SPIRITUALS & GOSPELS CHANT HANS LUEDEMANN Buch

binding.

47.46 €

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

Broschur

25.89 €

Diccionario Universal de Agricultura (Tomo 4) Rozier

Broschur

32.54 €

Sistema de Restauracion Adaptativa Grigori Grabovoi

Broschur

21.96 €

Die böhmischen Exulanten in Sachsen Christian Adolph Pescheck

Broschur

25.69 €

ESC¶NDALO NA CORTE CREWS

Buch

5.84 €

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