import/CMSwp-all.marc indexed_doc en iso_8859_1 CMSwp-all.marc CMSwp-all.marc 97 MARCPlugin MARC 1995. Includes bibliographical references (leaf 9) Logic programming (Computer science) Modality (Logic) Computer programming. Computer programming. Teams in the workplace Data processing. University of Waikato. Dept. of Computer Science. "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, Reeves, Steve, 1957- A logic for specifying and reasoning about cooperative environments / by Steve Reeves. Hamilton, N.Z. : HASH6a30b66a3a5419ad674b26s97 1378460671 20130906 1378460828 20130906 HASH6a30/b66a3a54/19ad674b/26s97.dir <pre> LDR 01332cam 2200277 a 4500 001 281651 010 _o zbn95-98420 035 _a (nzNZBN)9306097 008 s1995 nz a b x eng d 035 _9 ABG-5386 092 _a QA75.5.W926 no.95/27 100 10 _a Reeves, Steve, _d 1957- 245 12 _a A logic for specifying and reasoning about cooperative environments / _c by Steve Reeves. 260 0 _a Hamilton, N.Z. : _b Department of Computer Science, University of Waikato, _c 1995. 300 _a 9 leaves : _b ill. ; _c 30 cm. 490 1 _a Working paper series, _x 1170-487X ; _v 95/27 500 _a "August 1995" 500 _a "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. 504 _a Includes bibliographical references (leaf 9) 650 0 _a Logic programming (Computer science) 650 0 _a Modality (Logic) 650 0 _a Computer programming. 650 0 _a Computer programming. 650 0 _a Teams in the workplace _x Data processing. 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 95/27 </pre>