このページのリンク

<図書>
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
(Lecture notes in computer science ; 78)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
分 類 LCC:QA9.59
DC:510/.8 s
DC:001.6/4
出版年 1979
大きさ viii, 159 p. ; 25 cm
URL

所蔵情報を非表示

3F : gw 419||Gor 10154110

 類似資料