Contents of Report
[Data of Report]
Report Number:
TM0246
Date of Registration:
1987.01
English Title:
***
Japanese Title:
証明とコンピュータ;数学する人々の"よき助手"としての自動検証系の試み
English Author:
K.Hirose,K.Yokota
Japanese:
広瀬 健,横田 一正
Name of Organization to which author belongs:
Waseda Univ,ICOT
PDF:
tm0246.pdf
[Contents]
1
"定理"の自動証明系について
.... 2
2
"証明"の自動検証系について
.... 2
3
実用的システムへの志向
.... 3
4
CAPプロジェクト
.... 4
5
CAP-LAシステム
.... 4
6
CAP-LAの使用環境
.... 9
7
今後に向けて
.... 10
参考文献
.... 14
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda