![Grundlagen des maschinellen Beweisens Grundlagen des maschinellen Beweisens](https://bilder.buecher.de/produkte/24/24660/24660499n.jpg)
Broschiertes Buch
Eine Einführung für Informatiker und Mathematiker
2. Aufl.
1. Oktober 1991
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-14718-1
eBook, PDF | 35,96 € |
![Grundlagen des maschinellen Beweisens Grundlagen des maschinellen Beweisens](https://bilder.buecher.de/produkte/24/24002/24002858n.jpg)
Broschiertes Buch
Eine Einführung für Informatiker und Mathematiker
1989
1. Januar 1989
Vieweg & Teubner / Vieweg+Teubner Verlag
eBook, PDF | 42,99 € |
![Grundlagen des maschinellen Beweisens (eBook, PDF) Grundlagen des maschinellen Beweisens (eBook, PDF)](https://bilder.buecher.de/produkte/53/53386/53386113m.jpg)
44,99 €**
42,99 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
Versandkostenfrei![Basquiat by Himself Basquiat by Himself](https://bilder.buecher.de/produkte/56/56539/56539113m.jpg)
Ähnliche Artikel
![Termersetzungssysteme Termersetzungssysteme](https://bilder.buecher.de/produkte/36/36111/36111037m.jpg)
Broschiertes Buch
Theorie, Implementierung, Anwendung
1998
16. Januar 1998
Vieweg+Teubner / Vieweg+Teubner Verlag
![Formalisieren und Beweisen Formalisieren und Beweisen](https://bilder.buecher.de/produkte/26/26979/26979823n.jpg)
Broschiertes Buch
Logik für Informatiker
1990
1. Januar 1990
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-04757-3
![Numerische Algorithmen in Softwaresystemen Numerische Algorithmen in Softwaresystemen](https://bilder.buecher.de/produkte/24/24755/24755796m.jpg)
Broschiertes Buch
¿ unter besonderer Berücksichtigung der NAG-Bibliothek
1990.
1. Januar 1990
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02963-2
![Information Mining Information Mining](https://bilder.buecher.de/produkte/08/08795/08795702m.jpg)
Broschiertes Buch
Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse
2000.
29. März 2000
Vieweg+Teubner / Vieweg+Teubner Verlag
![Methoden der imperativen Programmierung Methoden der imperativen Programmierung](https://bilder.buecher.de/produkte/27/27140/27140670m.jpg)
Broschiertes Buch
Mit Beispielen in MODULA-2 und EIFFEL
1993.
1. Juni 1993
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02416-3
![Mathematischer Einführungskurs für Informatiker Mathematischer Einführungskurs für Informatiker](https://bilder.buecher.de/produkte/24/24970/24970456n.jpg)
Broschiertes Buch
Diskrete Strukturen
1976
1. September 1976
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02333-3
![Parsing Parsing](https://bilder.buecher.de/produkte/27/27153/27153727m.jpg)
Broschiertes Buch
Eine Einführung in die maschinelle Analyse natürlicher Sprache
1994.
1. Januar 1994
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02139-1
![Scientific Computing Scientific Computing](https://bilder.buecher.de/produkte/24/24754/24754069m.jpg)
Broschiertes Buch
Eine Einführung in das wissenschaftliche Rechnen und Parallele Numerik
1996.
1. Januar 1996
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02969-4
![Digitalrechner ¿ Grundlagen und Anwendungen Digitalrechner ¿ Grundlagen und Anwendungen](https://bilder.buecher.de/produkte/26/26979/26979951m.jpg)
Broschiertes Buch
Technische Informatik 1
Nachdr.
1. Januar 1990
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-06372-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON