[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

＜図書＞
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

責任表示	IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
シリーズ	Lecture notes in computer science ; 37
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , 1975
本文言語	英語,フランス語
大きさ	xii, 370 p. : ill. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/6797790

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
: gw	理系図3F 数理独自	SER/LNCS/37	1975	068222480110632	予約・取寄		予約・取寄
: gw	理系図自動書庫	007/L 49	1975	026232003070548	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	理系図自動書庫	408/L 49	1975	061232004004645	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	芸工図 2F 工学図書室	549.92/L49/37	1975	072032176000617	予約・取寄		予約・取寄

一般注記	English or French Includes bibliographies
著者標目	Böhm, Corrado, 1923- Istituto per le applicazioni del calcolo
件　名	LCSH:Combinatory logic -- Congresses 全ての件名で検索 LCSH:Programming languages (Electronic computers) -- Congresses 全ての件名で検索
分　類	LCC:QA9.5 DC:511/.3
書誌ID	1000046197
ISBN	3540074163
NCID	BA03113925
巻冊次	: gw ; ISBN:3540074163 : us ; ISBN:0387074163
登録日	2009.09.10
更新日	2017.02.18