@prefix epid: .
@prefix dc: .
@prefix geo: .
@prefix bibo: .
@prefix epx: .
@prefix owl: .
@prefix void: .
@prefix event: .
@prefix skos: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix foaf: .
@prefix rdf: .
@prefix rdfs: .
@prefix eprel: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "lfa.ps"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #340 \n\nBook Review -- Anil Nerode and Richard A. Shore, Logic for Applications\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications (Postscript)"^^xsd:string .
rdf:_1 ;
rdf:_2 .
bibo:abstract "This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993."^^xsd:string;
bibo:authorList ;
bibo:issue "1";
bibo:status ,
;
bibo:volume "26";
dct:creator ,
;
dct:date "1995";
dct:isPartOf ,
;
dct:subject ,
;
dct:title "Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications"^^xsd:string;
ep:hasDocument ;
rdf:type bibo:Article,
ep:EPrint,
ep:JournalpEPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Artificial Intelligence" .
rdf:type skos:Concept;
skos:prefLabel "Logic" .
foaf:familyName "Tin"^^xsd:string;
foaf:givenName "Erkan"^^xsd:string;
foaf:name "Erkan Tin"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Akman"^^xsd:string;
foaf:givenName "Varol"^^xsd:string;
foaf:name "Varol Akman"^^xsd:string;
rdf:type foaf:Person .
foaf:name "SIGACT News"^^xsd:string;
rdf:type bibo:Collection .