The planning process and its formalization in computer models
"Paper delivered to the Second Congress on the Information Systems Sciences, Hot Springs, Va., Nov. 22-25, 1964. -- Rev. January 1965."
Main Authors: | Emery, James C., Congress on the Information Systems Sciences |
---|---|
Other Authors: | Sloan School of Management. |
Format: | Working Paper |
Published: |
Cambridge, Mass. : Alfred P. Sloan School of Management, Massachusetts Institute of Technology, [1965]
2009
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/48765 |
Similar Items
-
Planning as an iterative hierarchical process and its formalization in computer models.
by: Emery, James C.
Published: (2009) -
Computational soundness of formal adversaries
by: Herzog, Jonathan, 1975-
Published: (2014) -
A formal model of non-determinate dataflow computation
by: Brock, Jarvis Dean
Published: (2006) -
Computational soundness for standard assumptions of formal cryptography
by: Herzog, Jonathan, 1975-
Published: (2005) -
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
by: Shi, Ling, et al.
Published: (2020)