<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/340> .
<http://cogprints.org/id/eprint/340> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/title> "Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/340> <http://purl.org/ontology/bibo/abstract> "This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993."^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/date> "1995" .
<http://cogprints.org/id/document/10489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://cogprints.org/id/eprint/340> <http://purl.org/ontology/bibo/volume> "26" .
<http://cogprints.org/id/eprint/340> <http://purl.org/ontology/bibo/issue> "1" .
<http://cogprints.org/id/publication/ext-b7d6df65ec603c6d5c00aee8925a71e6> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<http://cogprints.org/id/publication/ext-b7d6df65ec603c6d5c00aee8925a71e6> <http://xmlns.com/foaf/0.1/name> "SIGACT News"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/isPartOf> <http://cogprints.org/id/publication/ext-b7d6df65ec603c6d5c00aee8925a71e6> .
<http://cogprints.org/id/eprint/340> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<http://cogprints.org/id/eprint/340> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/creator> <http://cogprints.org/id/person/ext-5d5b5740d251ae6d95407fd359e88254> .
<http://cogprints.org/id/eprint/340> <http://purl.org/ontology/bibo/authorList> <http://cogprints.org/id/eprint/340#authors> .
<http://cogprints.org/id/eprint/340#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://cogprints.org/id/person/ext-5d5b5740d251ae6d95407fd359e88254> .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/creator> <http://cogprints.org/id/person/ext-a00c2d589cce63e9c4f406235c4dd9c4> .
<http://cogprints.org/id/eprint/340> <http://purl.org/ontology/bibo/authorList> <http://cogprints.org/id/eprint/340#authors> .
<http://cogprints.org/id/eprint/340#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://cogprints.org/id/person/ext-a00c2d589cce63e9c4f406235c4dd9c4> .
<http://cogprints.org/id/person/ext-5d5b5740d251ae6d95407fd359e88254> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://cogprints.org/id/person/ext-5d5b5740d251ae6d95407fd359e88254> <http://xmlns.com/foaf/0.1/givenName> "Erkan"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-5d5b5740d251ae6d95407fd359e88254> <http://xmlns.com/foaf/0.1/familyName> "Tin"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-5d5b5740d251ae6d95407fd359e88254> <http://xmlns.com/foaf/0.1/name> "Erkan Tin"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-a00c2d589cce63e9c4f406235c4dd9c4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://cogprints.org/id/person/ext-a00c2d589cce63e9c4f406235c4dd9c4> <http://xmlns.com/foaf/0.1/givenName> "Varol"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-a00c2d589cce63e9c4f406235c4dd9c4> <http://xmlns.com/foaf/0.1/familyName> "Akman"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-a00c2d589cce63e9c4f406235c4dd9c4> <http://xmlns.com/foaf/0.1/name> "Varol Akman"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/340> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://cogprints.org/id/eprint/340> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/JournalpEPrint> .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/isPartOf> <http://cogprints.org/id/repository> .
<http://cogprints.org/id/eprint/340> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/10489> .
<http://cogprints.org/id/document/10489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/10489> <http://www.w3.org/2000/01/rdf-schema#label> "Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications (Postscript)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/document/10489> <http://eprints.org/relation/hasVolatileVersion> <http://cogprints.org/id/document/4691> .
<http://cogprints.org/id/document/10489> <http://eprints.org/relation/haspreviewThumbnailVersion> <http://cogprints.org/id/document/4691> .
<http://cogprints.org/id/document/10489> <http://eprints.org/relation/hasVersion> <http://cogprints.org/id/document/4691> .
<http://cogprints.org/id/document/10489> <http://eprints.org/ontology/hasFile> <http://cogprints.org/340/2/lfa.ps> .
<http://cogprints.org/id/document/10489> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/340/2/lfa.ps> .
<http://cogprints.org/340/2/lfa.ps> <http://www.w3.org/2000/01/rdf-schema#label> "lfa.ps"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/340> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://cogprints.org/340/> .
<http://cogprints.org/340/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #340 \n\nBook Review -- Anil Nerode and Richard A. Shore, Logic for Applications\n\n" .
<http://cogprints.org/340/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://cogprints.org/340/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/340> .
<http://cogprints.org/id/subject/comp-sci-art-intel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://cogprints.org/id/subject/comp-sci-art-intel> <http://www.w3.org/2004/02/skos/core#prefLabel> "Artificial Intelligence" .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/subject> <http://cogprints.org/id/subject/comp-sci-art-intel> .
<http://cogprints.org/id/subject/phil-logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://cogprints.org/id/subject/phil-logic> <http://www.w3.org/2004/02/skos/core#prefLabel> "Logic" .
<http://cogprints.org/id/eprint/340> <http://purl.org/dc/terms/subject> <http://cogprints.org/id/subject/phil-logic> .
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>