文献
J-GLOBAL ID:200902198463450273
整理番号:93A0208361
層状で階層的な論理プログラムの限定能力
The defining power of stratified and hierarchical logic programs.
著者 (2件):
JAEGER G
(Inst. Informatik und angewandte Mathematik, Bern, CHE)
,
STAERK R F
(Inst. Informatik und angewandte Mathematik, Bern, CHE)
資料名:
Journal of Logic Programming
(Journal of Logic Programming)
巻:
15
号:
1/2
ページ:
55-77
発行年:
1993年01月
JST資料番号:
B0231B
ISSN:
0743-1066
CODEN:
JLPRE2
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)