Content
General A- and AX-Unification via Optimized Combination Procedures .
General A- and AX-Unification via Optimized Combination Procedures .
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1991 |
| Type of Publication: | Konferenzen/Journale |
Related Links