日本ソフトウェア科学会 -- 岩波書店 --

タグ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫逐刊 007.6 /コン/ 00200188553 雑誌 貸出可 利用可 iLisvirtual

資料詳細

雑誌名 コンピュータソフトウェア
巻号年月日 19901000
巻数 7(4)
刊行頻度 隔月刊
大きさ 26㎝
雑誌記事 構成的証明からのプログラム抽出 小林聡. 証明コンパイラにおける拡張射影手法 高山幸秀. 構造帰納法に基づくアルゴリズムの発見 野木兼六. 型継承および高階な総称関数の表示的意味論 立木秀樹.

※内容紹介、著者紹介は(株)日販図書館サービスおよび
(株)トーハンのデータです。