文献
J-GLOBAL ID:200902111865794230
整理番号:94A0089757
プログラムによって定義された概念の公理を見つける検索システムと動的アルゴリズム
Retrieval System and Dynamic Algorithm Looking for Axioms of Notions Defined by Programs.
著者 (1件):
BIELA A
(Univ. Silesia, Katowice, POL)
資料名:
Fundamenta Informaticae
(Fundamenta Informaticae)
巻:
19
号:
3/4
ページ:
275-301
発行年:
1993年11月
JST資料番号:
T0402A
ISSN:
0169-2968
CODEN:
FUINE
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)