このページのリンク

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).
(Lecture notes in computer science. ; 440)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版者 New York
出版者 Tokyo
出版年 c1990.
本文言語 英語
大きさ vi, 437 p. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.440 ASRS 007.6/L507/v.440 03912859
3540527532

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Workshop on Computer Science Logic.(1989)
Börger, E.(1946-)
Kleine Büning, H.
Richter, Michael M.,(1938-)
件 名 Computer science--Mathematics
Congresses.
Logic, Symbolic and mathematical--Congresses.
分 類 NDC:007.6
書誌ID 1000156097
ISBN 3540527532
URL1 Publisher HP

 類似資料