next up previous
Nächste Seite: Einleitung, Motivation Aufwärts: Symbolisches Rechnen Vorlesung Wintersemester Vorherige Seite: Lambda-Kalkül und Computeralgebra

Vereinfachung (Simplifikation)


Unterabschnitte
Johannes Waldmann 2007-01-30