English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Have you forgotten your password?
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Abschlussarbeit
Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1996
Doctoral Thesis
Title
Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
Thesis Note
Zugl.: Berlin, TU, Diss., 1995
Author(s)
Heinz, B.
Publisher
Oldenbourg
Publishing Place
München
Language
German
FIRST