文献
J-GLOBAL ID:200902077104067101
整理番号:94A0199358
高階論理における帰納的汎化に向けて
Towards Inductive Generalisation in Higher Order Logic.
著者 (2件):
FENG C
(Turing Inst., Glasgow, GBR)
,
MUGGLETON S
(Turing Inst., Glasgow, GBR)
資料名:
Machine Learning, 1992
(Machine Learning, 1992)
ページ:
154-162
発行年:
1992年
JST資料番号:
K19940149
ISBN:
1-55860-247-X
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)