source: other-projects/nightly-tasks/diffcol/trunk/gs3-model-collect/MARC-SingleFile/archives/HASH6a30/b66a3a54/19ad674b/26s97.dir/doc.xml@ 36899

<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE Archive SYSTEM "https://greenstone.org/dtd/Archive/1.0/Archive.dtd">
<Archive>
<Section>
  <Description>
    <Metadata name="gsdlsourcefilename">import/CMSwp-all.marc</Metadata>
    <Metadata name="gsdlsourcefilerenamemethod">url</Metadata>
    <Metadata name="gsdldoctype">indexed_doc</Metadata>
    <Metadata name="Language">en</Metadata>
    <Metadata name="Encoding">iso_8859_1</Metadata>
    <Metadata name="Source">CMSwp-all.marc</Metadata>
    <Metadata name="SourceFile">CMSwp-all.marc</Metadata>
    <Metadata name="SourceSegment">97</Metadata>
    <Metadata name="Plugin">MARCPlugin</Metadata>
    <Metadata name="FileFormat">MARC</Metadata>
    <Metadata name="dc.Creator">Reeves, Steve, 1957-</Metadata>
    <Metadata name="dc.Title">A logic for specifying and reasoning about cooperative environments / by Steve Reeves.</Metadata>
    <Metadata name="dc.Publisher">Hamilton, N.Z. :</Metadata>
    <Metadata name="dc.Publisher">Department of Computer Science, University of Waikato,</Metadata>
    <Metadata name="dc.Date">1995.</Metadata>
    <Metadata name="dc.Description">&quot;August 1995&quot;</Metadata>
    <Metadata name="dc.Description">&quot;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.&quot;--Abstract.</Metadata>
    <Metadata name="dc.Description">Includes bibliographical references (leaf 9)</Metadata>
    <Metadata name="dc.Subject">Logic programming (Computer science)</Metadata>
    <Metadata name="dc.Subject">Modality (Logic)</Metadata>
    <Metadata name="dc.Subject">Computer programming.</Metadata>
    <Metadata name="dc.Subject">Computer programming.</Metadata>
    <Metadata name="dc.Subject">Teams in the workplace Data processing.</Metadata>
    <Metadata name="dc.Creator">University of Waikato. Dept. of Computer Science.</Metadata>
    <Metadata name="Identifier">HASH6a30b66a3a5419ad674b26s97</Metadata>
    <Metadata name="lastmodified">1667887025</Metadata>
    <Metadata name="lastmodifieddate">20221108</Metadata>
    <Metadata name="oailastmodified">1667887027</Metadata>
    <Metadata name="oailastmodifieddate">20221108</Metadata>
    <Metadata name="assocfilepath">HASH6a30/b66a3a54/19ad674b/26s97.dir</Metadata>
  </Description>
  <Content>&lt;pre&gt;
 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 &quot;August 1995&quot;
500    _a &quot;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.&quot;--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
&lt;/pre&gt;
</Content>
</Section>
</Archive>