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