Logical environments
edited by Gérard Huet, Gordon Plotkin
Cambridge University Press, 1993
会津大学 情報センター (附属図書館)図
QA76.9.A96L63
OPAC
九州大学 中央図書館
007.6/H 98/1068582194002817
九州大学 理系図書館
410.96/H 98068252193010510
京都大学 数理解析研究所 図書室数研
C-P||Edinburgh||1991.593045885
京都大学 大学院 情報学研究科
I,1993||2.3||31796064634
高知工科大学 附属情報図書館
007.1||L8200041490
筑波大学 附属図書館 中央図書館
410.96-H98100023075525
東京大学 大学院情報理工学系研究科CS図
11:L:272012475303
東北大学 附属図書館本館
06930006816
名古屋工業大学 図書館
401||L 8293201741
すべての所蔵館を表示
Includes bibliographical references
Google Books