書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- ショウメイ アニメーシヨン(コウセイテキ プログラミング ニ ヨル ショウメイ テスト ギホウ)
- 著者・編者
- 林, 晋, 神戸大学
- 著者標目
- 著者 : 林, 晋, 1953- ハヤシ, ススム, 1953- ( 00192925 )典拠
- 出版年月日等
- 1998-2000
- 出版年(W3CDTF)
- 1998
- 数量
- 冊
- その他のタイトル
- 研究種目 基盤研究(B)
- 件名標目
- 形式的証明の開発 ケイシキテキシヨウメイノカイハツ定理証明 テイリシヨウメイ論理情報の視覚化 ロンリジヨウホウノシカクカ古典論理証明の実行 コテンロンリシヨウメイノジツコウCurry-Howardの対応 CURRY-HOWARDノタイオウ