Bernhard Kutzler
Zur Navigation springen
Zur Suche springen
Die druckbare Version wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisieren Sie Ihre Browser-Lesezeichen und verwenden Sie stattdessen die Standard-Druckfunktion des Browsers.
Dipl.-Ing. Dr.techn. Bernhard Kutzler.
Dissertation: Algebraic Approaches to Automated Theorem Proving.
Personen-ID im Mathematics Genealogy Project: 19748
Veröffentlichungen
- Kutzler, B.: Numerical Analysis Via DERIVE. Mathware, 1994.
- Kutzler, B.: Mathematics on the PC: Introduction to DERIVE. Unknown, 1994.
- Kutzler, B.: Improving Mathematics Teaching with DERIVE. Schweden: Chartwell-Bratt, 1996.