Suchergebnisse für ""David A. Plaisted""

The Efficiency of Theorem Proving Strategies (eBook, PDF)
36,99 €
Sofort per Download lieferbar
Versandkostenfrei
David A. Plaisted
Yunshan Zhu
The Efficiency of Theorem Proving Strategies (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. März 2013
Vieweg+Teubner Verlag
The Efficiency of Theorem Proving Strategies (eBook, PDF)
53,49 €**
40,95 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
David A. Plaisted
Yunshan Zhu
The Efficiency of Theorem Proving Strategies (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
11. November 2013
Vieweg+Teubner Verlag
Auch erhältlich als
Broschiertes Buch53,49 €
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
David A. Plaisted
Yunshan Zhu
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
  (Aktuell noch keine Bewertungen)
Buch
Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft 1997
The Efficiency of Theorem Proving Strategies
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
David A. Plaisted
Yunshan Zhu
The Efficiency of Theorem Proving Strategies
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Comparative and Asymptotic Analysis
2. Aufl.
28. Oktober 1999
Vieweg+Teubner / Vieweg+Teubner Verlag
85005838,978-3-528-15574-2

Ähnliche Artikel

Grundlagen des maschinellen Beweisens (eBook, PDF)
44,99 €**
35,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Ralf-Detlef Kutsche
Grundlagen des maschinellen Beweisens (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Vieweg+Teubner Verlag
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems (eBook, PDF)
37,99 €**
29,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Vieweg+Teubner Verlag
Deduktive Datenbanken (eBook, PDF)
54,99 €**
42,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Armin B. Cremers
Ulrike Griefahn
Ralf Hinze
Deduktive Datenbanken (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. Juli 2013
Vieweg+Teubner Verlag
Roman Prayer Language Livy and the Aneid of Vergil (eBook, PDF)
34,99 €
Sofort per Download lieferbar
Versandkostenfrei
Roman Prayer Language Livy and the Aneid of Vergil (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
1. Dezember 2013
Vieweg+Teubner Verlag
Prolog (eBook, PDF)
59,99 €**
33,26 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Hans Kleine Büning
Stefan Schmitgen
Prolog (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Vieweg+Teubner Verlag
LAN Praxis Lokaler Netze (eBook, PDF)
49,99 €**
39,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Dirk Traeger
LAN Praxis Lokaler Netze (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
3. September 2013
Vieweg+Teubner Verlag
Problemlösen mit PROLOG (eBook, PDF)
44,99 €**
35,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Problemlösen mit PROLOG (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. Juli 2013
Vieweg+Teubner Verlag
Problemlösen mit micro-PROLOG (eBook, PDF)
49,99 €**
35,96 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Gerhard Holland
Problemlösen mit micro-PROLOG (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
12. Juni 2019
Vieweg+Teubner Verlag
Programmieren in PROLOG (eBook, PDF)
49,99 €**
33,26 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Peter P. Bothner
Wolf-Michael Kähler
Programmieren in PROLOG (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
8. März 2013
Vieweg+Teubner Verlag
Programmiersprachen für Mikrocomputer (eBook, PDF)
49,95 €**
36,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Wolfgang J. Weber
Karl Hainer
Programmiersprachen für Mikrocomputer (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
21. November 2013
Vieweg+Teubner Verlag


Ähnlichkeitssuche: Fact®Finder von OMIKRON