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 |