DBLP:conf/aaai/Amir00

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 +

redirect page (De)Composition of Situation Calculus Theories +

Categories Proceeding Paper +