文献
J-GLOBAL ID:200902011028456127
整理番号:83A0111376
論理プログラミングの理論への寄与
Contributions to the theory of logic programming.
著者 (2件):
APT K R
(Erasmus Univ. Rotterdam, The Netherlands)
,
Van EMDEN M H
(Univ. Waterloo, Canada)
資料名:
Journal of the Association for Computing Machinery
(Journal of the Association for Computing Machinery)
巻:
29
号:
3
ページ:
841-862
発行年:
1982年07月
JST資料番号:
C0267A
ISSN:
0004-5411
CODEN:
JACOA
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)