| 1 | <?xml version="1.0" encoding="utf-8" standalone="no"?>
|
|---|
| 2 | <!DOCTYPE Archive SYSTEM "http://greenstone.org/dtd/Archive/1.0/Archive.dtd">
|
|---|
| 3 | <Archive>
|
|---|
| 4 | <Section>
|
|---|
| 5 | <Description>
|
|---|
| 6 | <Metadata name="gsdlsourcefilename">import/CMSwp-all.marc</Metadata>
|
|---|
| 7 | <Metadata name="gsdldoctype">indexed_doc</Metadata>
|
|---|
| 8 | <Metadata name="Language">en</Metadata>
|
|---|
| 9 | <Metadata name="Encoding">iso_8859_1</Metadata>
|
|---|
| 10 | <Metadata name="Source">CMSwp-all.marc</Metadata>
|
|---|
| 11 | <Metadata name="SourceFile">CMSwp-all.marc</Metadata>
|
|---|
| 12 | <Metadata name="SourceSegment">97</Metadata>
|
|---|
| 13 | <Metadata name="Plugin">MARCPlugin</Metadata>
|
|---|
| 14 | <Metadata name="FileFormat">MARC</Metadata>
|
|---|
| 15 | <Metadata name="dc.Date">1995.</Metadata>
|
|---|
| 16 | <Metadata name="dc.Description">Includes bibliographical references (leaf 9)</Metadata>
|
|---|
| 17 | <Metadata name="dc.Subject">Logic programming (Computer science)</Metadata>
|
|---|
| 18 | <Metadata name="dc.Subject">Modality (Logic)</Metadata>
|
|---|
| 19 | <Metadata name="dc.Subject">Computer programming.</Metadata>
|
|---|
| 20 | <Metadata name="dc.Subject">Computer programming.</Metadata>
|
|---|
| 21 | <Metadata name="dc.Subject">Teams in the workplace Data processing.</Metadata>
|
|---|
| 22 | <Metadata name="dc.Creator">University of Waikato. Dept. of Computer Science.</Metadata>
|
|---|
| 23 | <Metadata name="dc.Description">"August 1995"</Metadata>
|
|---|
| 24 | <Metadata name="dc.Description">"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.</Metadata>
|
|---|
| 25 | <Metadata name="dc.Publisher">Department of Computer Science, University of Waikato,</Metadata>
|
|---|
| 26 | <Metadata name="dc.Creator">Reeves, Steve, 1957-</Metadata>
|
|---|
| 27 | <Metadata name="dc.Title">A logic for specifying and reasoning about cooperative environments / by Steve Reeves.</Metadata>
|
|---|
| 28 | <Metadata name="dc.Publisher">Hamilton, N.Z. :</Metadata>
|
|---|
| 29 | <Metadata name="Identifier">HASH6a30b66a3a5419ad674b26s97</Metadata>
|
|---|
| 30 | <Metadata name="lastmodified">1375927231</Metadata>
|
|---|
| 31 | <Metadata name="lastmodifieddate">20130808</Metadata>
|
|---|
| 32 | <Metadata name="oailastmodified">1375928549</Metadata>
|
|---|
| 33 | <Metadata name="oailastmodifieddate">20130808</Metadata>
|
|---|
| 34 | <Metadata name="assocfilepath">HASH6a30b66a/3a5419ad/674b26s9/7.dir</Metadata>
|
|---|
| 35 | </Description>
|
|---|
| 36 | <Content><pre>
|
|---|
| 37 | LDR 01332cam 2200277 a 4500
|
|---|
| 38 | 001 281651
|
|---|
| 39 | 010 _o zbn95-98420
|
|---|
| 40 | 035 _a (nzNZBN)9306097
|
|---|
| 41 | 008 s1995 nz a b x eng d
|
|---|
| 42 | 035 _9 ABG-5386
|
|---|
| 43 | 092 _a QA75.5.W926 no.95/27
|
|---|
| 44 | 100 10 _a Reeves, Steve,
|
|---|
| 45 | _d 1957-
|
|---|
| 46 | 245 12 _a A logic for specifying and reasoning about cooperative
|
|---|
| 47 | environments /
|
|---|
| 48 | _c by Steve Reeves.
|
|---|
| 49 | 260 0 _a Hamilton, N.Z. :
|
|---|
| 50 | _b Department of Computer Science, University of
|
|---|
| 51 | Waikato,
|
|---|
| 52 | _c 1995.
|
|---|
| 53 | 300 _a 9 leaves :
|
|---|
| 54 | _b ill. ;
|
|---|
| 55 | _c 30 cm.
|
|---|
| 56 | 490 1 _a Working paper series,
|
|---|
| 57 | _x 1170-487X ;
|
|---|
| 58 | _v 95/27
|
|---|
| 59 | 500 _a "August 1995"
|
|---|
| 60 | 500 _a "In this paper we describe the current progress of an
|
|---|
| 61 | attempt to develop a logic which will allow us to specify
|
|---|
| 62 | required properties of systems which typically consist of a
|
|---|
| 63 | single interactive program being used, probably simultaneously,
|
|---|
| 64 | by several agents, usually people."--Abstract.
|
|---|
| 65 | 504 _a Includes bibliographical references (leaf 9)
|
|---|
| 66 | 650 0 _a Logic programming (Computer science)
|
|---|
| 67 | 650 0 _a Modality (Logic)
|
|---|
| 68 | 650 0 _a Computer programming.
|
|---|
| 69 | 650 0 _a Computer programming.
|
|---|
| 70 | 650 0 _a Teams in the workplace
|
|---|
| 71 | _x Data processing.
|
|---|
| 72 | 710 2 _a University of Waikato.
|
|---|
| 73 | _b Dept. of Computer Science.
|
|---|
| 74 | 830 0 _a Working paper series (University of Waikato. Dept. of
|
|---|
| 75 | Computer Science) ;
|
|---|
| 76 | _v 95/27
|
|---|
| 77 | </pre>
|
|---|
| 78 | </Content>
|
|---|
| 79 | </Section>
|
|---|
| 80 | </Archive>
|
|---|
