No CrossRef data available.
Published online by Cambridge University Press: 24 June 2002
KNOWLEDGE IN ACTION: LOGICAL FOUNDATIONS FOR SPECIFYING AND IMPLEMENTING DYNAMICAL SYSTEMS, by Raymond Reiter, MIT Press, Cambridge, Mass., 2001, xx + 424 pp., ISBN 0-262-18218-l (Hardback, £34.50)