No CrossRef data available.
Book Review
Published online by Cambridge University Press: 24 June 2002
Abstract
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)
- Type
- Book Review
- Information
- Copyright
- © 2002 Cambridge University Press