English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Anti-Unifikation modulo Gleichungstheorie und ihre Anwendungen
Details
Full
Export
Statistics
Options
1996
Conference Paper
Titel
Anti-Unifikation modulo Gleichungstheorie und ihre Anwendungen
Author(s)
Burghardt, J.
Heinz, B.
Hauptwerk
4. Leipziger Informatik-Tage 1996. Tagungsbericht
Konferenz
Leipziger Informatik-Tage 1996
Language
German
google-scholar
View Details
FIRST