Knowledge in action logical foundations for specifying and implementing dynamical systems / Raymond Reiter.

Author/creator Reiter, Raymond
Format Electronic
Publication InfoCambridge, Mass. : MIT Press,
Descriptionxvi, 424 p. : ill. ; 24 cm.
Supplemental ContentFull text available from MIT Press Direct to Open Backfile STEAM Monographs D2O
Subjects

Bibliography noteIncludes bibliographical references (p. [409]-418) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2001030522
ISBN0262182181 (hc. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available