文献
J-GLOBAL ID:200902169907278146
整理番号:93A0356366
Verifying plans for multiple agents.
著者 (2件):
KATZ M J
(Tel Aviv Univ., Tel Aviv, ISR)
,
ROSENSCHEIN J S
(Hebrew Univ., Jerusalem, ISR)
資料名:
Journal of Experimental & Theoretical Artificial Intelligence
(Journal of Experimental & Theoretical Artificial Intelligence)
巻:
5
号:
1
ページ:
39-56
発行年:
1993年01月
JST資料番号:
T0934A
ISSN:
0952-813X
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)