9783528055745 - the efficiency of theorem proving strategies: a comparative and asymptotic analysis (computational intelligence) von plaisted, david a.; zhu, yunshan (2 Ergebnisse)
Sprache: Englisch
Verlag: Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft, 1997
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Antiquariat Bernhardt, Kassel, DeutschlandAntiquariat Bernhardt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 36,00
EUR 49,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Broschiert Broschiert. Zustand: Sehr gut. VI, 167 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wi…r versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 236.
Sprache: Deutsch
Verlag: Vieweg+Teubner Verlag
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Buchmarie, Darmstadt, DeutschlandBuchmarie
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 31,87
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Good.
