Art

J-GLOBAL ID：200902001972010918   Reference number：92A0807866

Towards Inductive Generalisation in Higher Order Logic.

より高次の論理における帰納的一般化に対して

Author (2)： FENG C (Turing Inst., Glasgow, GBR) ,  MUGGLETON S (Turing Inst., Glasgow, GBR)
Material： ICOT研究速報 TM-  (ICOT Research Center Technical Memorandum)
Issue： 1182  Page： 52-62  Publication year： Jul. 1992 
JST Material Number： Y0653A  Document type： Article
Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Terms in the title (2)： 論理 ,  一般化