このページのリンク

Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.)
(Lecture notes in computer science ; 1258)

データ種別 図書
出版情報 Berlin ; Tokyo : Springer , c1997
本文言語 英語
大きさ viii, 471 p. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.9:L63:W67:1996
3540631720 002448705

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *Workshop on Computer Science Logic (10th : 1996 : Utrecht, The Netherlands)
Dalen, D. van (Dirk), 1932-
Bezem, M. (Marc), 1956-
European Association for Computer Science Logic
件 名 LCSH:Computer logic -- Congresses  全ての件名で検索
LCSH:Computer science -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 NDC9:549.9
LCC:QA76.9.L63
LCC:QA75.5
DC20:004/.01/5113
NDC7:549.9
巻冊次 ISBN:3540631720 REFWLINK
ISBN 3540631720
NCID BA31393841
目次/あらすじ

 類似資料