Bernhard Kutzler

Aus madipedia
Version vom 8. November 2016, 09:57 Uhr von Csguenther (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „<!-- Hilfe zum Eintrag von Personen finden Sie unter http://madipedia.de/index.php/Hilfe:Personen_eintragen --> <!-- Bitte beachten Sie die Madipedia:Richtlini…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

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.