文献
J-GLOBAL ID:201302287886165783
整理番号:13A0628418
論理プログラムの文脈上の仮説と意味論
Contextual hypotheses and semantics of logic programs
著者 (1件):
MARTIN Eric A.
(Univ. of New South Wales, NSW, AUS)
資料名:
Theory and Practice of Logic Programming
(Theory and Practice of Logic Programming)
巻:
12
号:
6
ページ:
843-887
発行年:
2012年11月
JST資料番号:
A1393A
ISSN:
1471-0684
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)