プログラム検証のための帰納的定理自動証明法の研究
CiNii
Available at 1 libraries
Bibliographic Information
- Title
- "プログラム検証のための帰納的定理自動証明法の研究"
- Statement of Responsibility
- 外山芳人研究代表者
- Publisher
-
- [外山芳人]
- Publication Year
-
- 2002.3
- Book size
- 30cm
- Other Title
-
- プログラム ケンショウ ノ タメ ノ キノウテキ テイリ ジドウ ショウメイホウ ノ ケンキュウ
- 平成10年度～平成13年度科学研究費補助金(基盤研究(C)(2))研究成果報告書(課題番号10680346)
Search this Book/Journal
- Tweet
Details 詳細情報について
-
- CRID
- 1130000797534266624
-
- NII Book ID
- BB06392039
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- [仙台]
-
- Data Source
-
- CiNii Books