Content
Word Unification and Transformation of Generalized Equations
in: J. of Automated Reasoning 11, 1993, 149-184
| Authors/Editors: |
Klaus U. Schulz |
|---|---|
| Publication Date: | 1993 |
| Type of Publication: | Konferenzen/Journale |
Related Links