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

The Efficiency of Theorem Proving Strategies (eBook, PDF)
53,49 €**
36,99 €
**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
13. März 2013
Vieweg+Teubner Verlag
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
Auch erhältlich als
eBook, PDF40,95 €
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

Ä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
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
Test und Testbarkeit digitaler Schaltungen (eBook, PDF)
49,99 €**
39,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Test und Testbarkeit digitaler Schaltungen (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 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
Numerik der Optimierung (eBook, PDF)
33,26 €
Sofort per Download lieferbar
Versandkostenfrei
Christian Großmann
Johannes Terno
Numerik der Optimierung (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Vieweg+Teubner Verlag
Termersetzungssysteme (eBook, PDF)
44,99 €**
33,26 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Termersetzungssysteme (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. April 2013
Vieweg+Teubner Verlag
Effiziente Algorithmen für grundlegende Funktionen (eBook, PDF)
54,99 €**
36,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Ingo Wegener
Effiziente Algorithmen für grundlegende Funktionen (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Vieweg+Teubner Verlag
STEP STandard for the Exchange of Product Model Data (eBook, PDF)
49,99 €**
33,26 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Reiner Anderl
Alexander Angebrandt
Hans Axtner
…mehr Autoren
Bernd Daum
Wilhelm Kerschbaum
Thomas Kiesewetter
Daniel Lange
Mario Leber
Konrad Pagenstert
Dietmar Trippner
Harald John
Martin Arlt
Michael Endres
Jörg Katzenmaier
Martin Philipp
Christian Pütter
STEP STandard for the Exchange of Product Model Data (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
8. März 2013
Vieweg+Teubner Verlag
Methoden der imperativen Programmierung (eBook, PDF)
54,99 €**
42,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei
Hans-Georg Stork
Methoden der imperativen Programmierung (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. April 2013
Vieweg+Teubner Verlag


Ähnlichkeitssuche: Fact®Finder von OMIKRON