CCL 1994: Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7-9, 1994: proceedings

Shelfclass_id 3.A
Sortkey CCL
Authors Jean-Pierre Jounnaud
Title CCL 1994: Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7-9, 1994: proceedings
Publisher Springer-Verlag
Year cop. 1994
Languages eng
Isbn 038758403, 354058403
Series Lecture Notes in Computer Science
Volume 845
Issn 0302-9743
Description X X 367 s
Record date 20060627
Location New York
Keywords Constraints, Constraint logic programming, Constraint hierarchy, Constraint programming, Logic programming, Electronic digital computers, Logic, Symbolic and mathematical, Matematisk logik (Datalogi), Mathematical logic (Computer science), Programlogik, Logics of programs, Conference proceedings, Konferenspublikationer