import/CMSwp-all.00000001/00000097.nul indexed_doc NulPlugin 0 00000097.nul 00000097.nul CMSwp-all.00000001/00000097.nul 1 University of Waikato. Dept. of Computer Science. Reeves, Steve, 1957- 1995. Includes bibliographical references (leaf 9) "August 1995" "In this paper we describe the current progress of an attempt to develop a logic which will allow us to specify required properties of systems which typically consist of a single interactive program being used, probably simultaneously, by several agents, usually people."--Abstract. Department of Computer Science, University of Waikato, Hamilton, N.Z. : Logic programming (Computer science) Modality (Logic) Computer programming. Computer programming. Teams in the workplace Data processing. A logic for specifying and reasoning about cooperative environments / by Steve Reeves. 00000097 HASH01591206a3a5492645618c85 1395214952 20140319 1395215080 20140319 HASH0159/1206a3a5.dir This document has no text.