1.

図書
図書
1. 並列論理型言語GHCとその応用
古川康一, 溝口文雄共編
出版情報: 東京 : 共立出版, 1987.9
シリーズ名: 知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修 ; 6
所蔵情報: loading…
2.

図書
図書
2. エンサイクロペディア・アスキー (volume 1 - 第13巻)
出版情報: 東京 : アスキー出版, 1978.12-1983.12
所蔵情報: loading…
3.

図書
図書
3. 数理情報学入門 : スコット・プログラム理論
中島玲二著
出版情報: 東京 : 朝倉書店, 1982.3
シリーズ名: 数理科学ライブラリー ; 3
所蔵情報: loading…
4.

図書
図書
4. 記号処理
中西正和著
出版情報: 東京 : 朝倉書店, 1978.12
シリーズ名: 理工系基礎の数学 ; 13
所蔵情報: loading…
5.

図書
図書
5. プログラム検証論
林晋著
出版情報: 東京 : 共立出版, 1995.9
シリーズ名: 情報数学講座 ; 8
所蔵情報: loading…
6.

図書
図書
6. JIS FORTRAN入門. 第2版 (上 ; 下)
森口繁一著
出版情報: 東京 : 東京大学出版会, 1973.2-1973.12
所蔵情報: loading…
7.

図書
図書
7. プログラミング言語の基礎理論
大堀淳著
出版情報: 東京 : 共立出版, 1997.2
シリーズ名: 情報数学講座 ; 9
所蔵情報: loading…
8.

図書
図書
8. プログラム意味論
横内寛文著
出版情報: 東京 : 共立出版, 1994.6
シリーズ名: 情報数学講座 ; 7
所蔵情報: loading…