文献
J-GLOBAL ID:200902141655416085
整理番号:94A0241262
「数列の極限」の形式化とプルーフ・チェッカー
Formalization of Sequence of Limit and Proof-Checker.
-
出版者サイト
複写サービスで全文入手
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=94A0241262&from=J-GLOBAL&jstjournalNo=G0609B") }}