Content
Combination Techniques and Decision Problems for Disunification
CIS-Bericht-93-65
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1993 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |