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

Saved in:
書目詳細資料
其他作者: Jounnaud, Jean-Pierre
格式: 圖書
語言:English
出版: Berlin ; New York : Springr-Verlag, c1994.
叢編:Lecture notes in computer science ; 845.
主題:
實物特徵
實物描述:viii, 367 p. : ill. ; 24 cm.
參考書目:Includes bibliographical references.
ISBN:354058403X