Contents of Report

[Data of Report]

Report Number:: TM0593
Date of Registration:: 1988.08
English Title:: ***
Japanese Title:: 89-1 ソフトウェア科学会日本数学会秋季総合分科会半順序による証明手続きの解析
English Author:: M.Koshimura,K.Taki
Japanese:: 越村　三幸,滝　和男
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tm0593.pdf

[Contents]

	概要	.... 1
1	はじめに	.... 1
2	形式的体系	.... 1
3	証明手続き	.... 1
4	並列化	.... 4
5	考察	.... 7
6	おわりに	.... 8
	謝辞	.... 8
	参考文献	.... 8
	End	.... 11

目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda