Content
General A- and AX-Unification via Optimized Combination Procedures
CIS-Bericht-92-58
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1992 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |