DBLP:conf/aaai/Amir00 + redirect page
(De)Composition of Situation Calculus Theories + Has identifier
| (De)Composition of Situation Calculus Theories |
Has publishing details
pp. 456-463, 2000
Has title
(De)Composition of Situation Calculus Theories
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2000.html#Amir00
Has where published
AAAI/IAAI
Has year
2000
Has author
Eyal Amir +
Has identifier
(De)Composition of Situation Calculus Theories +
Categories Proceeding Paper +
|
