System Description: Meta-S. Combining Solver Cooperation and programming Languages
Author: | Stephan Frank, Petra HofstedtGND, D. Reckmann |
---|---|
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2005 |
Quelle aus UBICO: | 19th International Workshop on (Constraint) Logic programming, W(C)LP |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Programmiersprachen und Compilerbau |