Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Term Indexing

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
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,...
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 1811051

Buch 74.89
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 1811051

Buch 74.89
Jetzt vorbestellen
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,...
Andere Kunden interessierten sich auch für
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

74.89

Vorbestellen
Erschienen am 01.09.2004
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 10.08.1994
Jetzt vorbestellen
Buch

85.59

In den Warenkorb
Erschienen am 28.08.1996
lieferbar

An Introduction to Default Logic

Philippe Besnard

0 Sterne
Buch

149.79

Vorbestellen
Erschienen am 29.09.1989
Jetzt vorbestellen
Buch

56.66

Vorbestellen
Erschienen am 18.04.2001
Jetzt vorbestellen
Buch

112.34

Vorbestellen
Erschienen am 29.06.1994
Jetzt vorbestellen
Buch

139.09

Vorbestellen
Erschienen am 24.09.2004
Jetzt vorbestellen
Buch

112.34

Vorbestellen
Erschienen am 26.02.1991
Jetzt vorbestellen
Buch

176.54

In den Warenkorb
Erschienen am 09.01.2003
lieferbar

MFDBS 91

0 Sterne
Buch

93.08

Vorbestellen
Erschienen am 24.04.1991
Jetzt vorbestellen
Buch

117.69

Vorbestellen
Erschienen am 26.01.2000
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 25.08.1992
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 20.08.1997
Jetzt vorbestellen
Buch

106.99

Vorbestellen
Erschienen am 08.09.1999
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 28.04.1999
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 10.09.1992
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 18.06.1997
Jetzt vorbestellen
Mehr Bücher des Autors
Buch

10.00

In den Warenkorb
Erschienen am 12.08.2020
lieferbar
eBook

Statt 15.00 19

11.99

Download bestellen
Erschienen am 08.05.2019
sofort als Download lieferbar

Was nicht mehr im Duden steht

Peter Graf

5 Sterne
(1)
Buch

15.00

In den Warenkorb
Erschienen am 05.11.2018
lieferbar

Religioese Bildung als Weg

Peter Graf

0 Sterne
eBook

32.99

Download bestellen
Erschienen am 01.04.2016
sofort als Download lieferbar

Das Vermächtnis von Holnis

Peter Graf

0 Sterne
eBook

3.99

Download bestellen
Erschienen am 05.05.2016
sofort als Download lieferbar
Buch

19.90

Vorbestellen
Erschienen am 13.07.2012
Jetzt vorbestellen
eBook

48.00

Download bestellen
Erschienen am 16.10.2002
sofort als Download lieferbar
Buch

179.70

Vorbestellen
Erschienen am 30.12.2020
Jetzt vorbestellen
Kommentar zu "Term Indexing"
Andere Kunden kauften auch
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

74.89

Vorbestellen
Erschienen am 01.09.2004
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 10.08.1994
Jetzt vorbestellen
Buch

85.59

In den Warenkorb
Erschienen am 28.08.1996
lieferbar

An Introduction to Default Logic

Philippe Besnard

0 Sterne
Buch

149.79

Vorbestellen
Erschienen am 29.09.1989
Jetzt vorbestellen
Buch

56.66

Vorbestellen
Erschienen am 18.04.2001
Jetzt vorbestellen
Buch

112.34

Vorbestellen
Erschienen am 29.06.1994
Jetzt vorbestellen
Buch

139.09

Vorbestellen
Erschienen am 24.09.2004
Jetzt vorbestellen
Buch

112.34

Vorbestellen
Erschienen am 26.02.1991
Jetzt vorbestellen
Buch

176.54

In den Warenkorb
Erschienen am 09.01.2003
lieferbar

MFDBS 91

0 Sterne
Buch

93.08

Vorbestellen
Erschienen am 24.04.1991
Jetzt vorbestellen
Buch

117.69

Vorbestellen
Erschienen am 26.01.2000
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 25.08.1992
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 20.08.1997
Jetzt vorbestellen
Buch

106.99

Vorbestellen
Erschienen am 08.09.1999
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 28.04.1999
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 10.09.1992
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 18.06.1997
Jetzt vorbestellen
0 Gebrauchte Artikel zu „Term Indexing“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich