Content
Combination of Constraint Solvers for Free and Quasi-Free Structures
CIS-Bericht-96-90, auch erschienen in: Theoretical Computer Science, 192 (1988) pp. 107-161.
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1996 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |