Termersetzungssysteme - Theorie, Implementierung, Anwendung

Reinhard Bündgen. Termersetzungssysteme - Theorie, Implementierung, Anwendung. Vieweg, 1998.

Abstract

Abstract is missing.