Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /

Bibliographic Details
Other Authors: Jouannaud, Jean-Pierre (ed.)
Format: Book
Published: Berlin : Springer, 1994.
Series:Lecture notes in computer science ; v. 845
Subjects:
Description
Physical Description:viii, 367 p. : il. ; 24 cm.
ISBN:354058403X