Grundlagen des maschinellen Beweisens Ralf-Detlef Kutsche Taschenbuch Paperback
44,99 €
Titel: Grundlagen des maschinellen Beweisens | Zusatz: Eine Einführung für Informatiker und Mathematiker | Medium: Taschenbuch | Autor: Ralf-Detlef Kutsche | Einband: Kartoniert / Broschiert | Inhalt: ix / 174 S. / 15 s/w Illustr. / 174 S. 15 Abb. | Ausstattung / Beilage: Paperback | Auflage: 2. verb. Aufl. 1991 | Sprache: Deutsch | Seiten: 188 | Maße: 244 x 170 x 11 mm | Erschienen: 01.10.1991 | Anbieter: Buchbär.
Jetzt bei Ebay:
