文献
J-GLOBAL ID:200902177722631489
整理番号:94A0255783
A compositional semantics for logic programs.
著者 (4件):
BOSSI A
(Univ. Padova, Padova, ITA)
,
GABBRIELLI M
(Univ. Pisa, Pisa, ITA)
,
LEVI G
(Univ. Pisa, Pisa, ITA)
,
MEO M C
(Univ. Pisa, Pisa, ITA)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
122
号:
1/2
ページ:
3-47
発行年:
1994年01月03日
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)