このページのリンク

Constraints in computational logics : First International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.)
(Lecture notes in computer science ; 845)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1994
本文言語 英語
大きさ viii, 367 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:74.6:C6515:1994
354058403X 001612091

書誌詳細を非表示

一般注記 Includes bibliographical references
著者標目 Jouannaud, Jean-Pierre
*CCL (1st : 1994 : Munich, Germany)
分 類 LCC:QA267
DC19:511.3
巻冊次 ISBN:354058403X REFWLINK
ISBN 354058403X
NCID BA23317291 WCLINK
目次/あらすじ

 類似資料