文献
J-GLOBAL ID:200902001972010918
整理番号:92A0807866
より高次の論理における帰納的一般化に対して
Towards Inductive Generalisation in Higher Order Logic.
-
出版者サイト
複写サービスで全文入手
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0807866&from=J-GLOBAL&jstjournalNo=Y0653A") }}