Reiter, R.
Knowledge in action: Logical foundations for specifying and implementing dynamical systems - Massachusetts MIT Press 2001 - xx, 424p.
0-262-18218-1
Knowledge in action: Logical foundations for specifying and implementing dynamical systems - Massachusetts MIT Press 2001 - xx, 424p.
0-262-18218-1