Content
Combining Constraint Solving.
In H. Comon and R. Treinen (eds.). Constraints in Computational Logics - Theory and Applications, number 2002, pages 1104-158. Springer LNCS, 2001.
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 2001 |
| Type of Publication: | Konferenzen/Journale |