Reasoning about actions and high level programs

Professors:Giuseppe De Giacomo, Yves Lesperance, Adrian Pearce
Credits:6
Range:B
Note:June-July 2009

Full description

The description will be here as soon as possible