Die bibliographische Datenbank LEABib
|
|
Suche: Citkey="Baader-Schulz/95" |
|
On the combination of symbolic constraints, solution domains, and constraint solvers
Franz Baader, Klaus U. Schulz
Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)
Lecture Notes in Computer Science
976
, 1995, pp. 380-397
Editors | |
Ugo Montanari,
Francessca Rossi |
Publisher: | | Springer-Verlag |
Address: | | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest |
|
| |
|