Knowledge in action : logical foundations for specifying and implementing dynamical systems
Author(s)
Bibliographic Information
Knowledge in action : logical foundations for specifying and implementing dynamical systems
MIT Press, Massachusetts Institute of Technology, c2001
- : hc
Available at / 17 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: hcREI||8||201043962
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [409]-418) and index