1.
学位論文 |
Ryo Kashima
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2.
図書 東工大 |
東工大
目次DB |
田中一之 [ほか] 著
目次情報:
続きを見る
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
3.
図書 東工大 |
東工大
目次DB |
鹿島亮著
目次情報:
続きを見る
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
4.
図書 東工大 |
東工大
目次DB |
鹿島亮著
目次情報:
続きを見る
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
5.
図書 |
鹿島亮著
目次情報:
続きを見る
概要:
モデル検査、プログラム検証...計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼