このページのリンク

Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 selected papers / Hans Kleine Büning, (ed.).
(Lecture notes in computer science. ; 1092)

データ種別 図書
出版者 Berlin : Springer
出版者 New York
出版年 c1996.
大きさ viii, 485 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.1092 ASRS 007.6/L507/v.1092 04826433
3540613773

書誌詳細を非表示

一般注記 CSL'95 was the fourth to be held as the Annual Conference of the EACSL.
Includes bibliographical references and index.
著者標目 Workshop on Computer Science Logic.(1995)
Kleine Büning, H.
European Association for Computer Science Logic.
件 名 Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
分 類 NDC:007.6
書誌ID 1000206200
ISBN 3540613773
URL1 Publisher HP

 類似資料