https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/e/UweEngelmann +
, https://dblp.org/pid/79/6208 +
, https://dblp.org/pid/61/3944 +
|
https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/e/UweEngelmann +
, https://dblp.org/pid/79/6208 +
, https://dblp.org/pid/61/3944 +
|
https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/75144.75162 +
, https://doi.org/10.1145/75145.75162 +
|
https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/75144.75162 +
, https://doi.org/10.1145/75145.75162 +
|
https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/apl/apl89 +
|
https://dblp.org/rdf/schema#numberOfCreators
|
3
|
https://dblp.org/rdf/schema#pagination
|
124-128
|
https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/75144.75162 +
|
https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/apl/1989 +
|
https://dblp.org/rdf/schema#publishedIn
|
APL
|
https://dblp.org/rdf/schema#publishedInBook
|
APL
|
https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/conf/apl +
|
https://dblp.org/rdf/schema#title
|
Implementation of Predicate Logic in APL2.
|
https://dblp.org/rdf/schema#yearOfEvent
|
1989
|
https://dblp.org/rdf/schema#yearOfPublication
|
1989
|
owl:sameAs |
https://doi.org/10.1145/75144.75162 +
, http://dx.doi.org/10.1145/75144.75162 +
, https://doi.org/10.1145/75145.75162 +
, http://dx.doi.org/10.1145/75145.75162 +
|
rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
rdfs:label |
Uwe Engelmann et al.: Implementation of Predicate Logic in APL2. (1989)
|