Constraints in computational logics
Subtitle: first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
By: Jean-Pierre Jouannaud, (Ed.).
Contributors: Jounnaud, Jean-Pierre.
Series: Lecture notes in computer science -- 845
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; London
Language: eng
Number of pages: 367
Subjects: Electronic digital computers -- Programming -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: CCL '94.