Content
Unification Theory -- An Introduction.
in: Automated Deduction. A basis for application. W. Bibel and P.H. Schmitt (eds.), Kluwer Academic Publishers, 1998.
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1998 |
| Type of Publication: | Konferenzen/Journale |