[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/tkde/Roman90>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Gruia-Catalin_Roman>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1109%2F69.63249>
foaf:homepage <https://doi.org/10.1109/69.63249>
dc:identifier DBLP journals/tkde/Roman90 (xsd:string)
dc:identifier DOI doi.org%2F10.1109%2F69.63249 (xsd:string)
dcterms:issued 1990 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/tkde>
rdfs:label Formal Specification of Geographic Data Processing Requirements. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Gruia-Catalin_Roman>
swrc:number 4 (xsd:string)
swrc:pages 370-380 (xsd:string)
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/icde/ShekharY92>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/cacm/ShekharCGLS97>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/LiL98>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/adbt/Minker77>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/computer/ChangK81>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/computer/ChockCK81>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/computer/LeungL88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/computer/Zadeh88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/computer/ZobristN81>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/GallaireMN84>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/KemperW87>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/NagyW79>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/PeckhamM88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/Lee72>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/CliffordW83>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/tkde/Roman90/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/tkde/Roman90>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/tkde/tkde2.html#Roman90>
rdfs:seeAlso <https://doi.org/10.1109/69.63249>
dc:subject geographic data processing requirements; formal foundation; modeling data; knowledge requirements; first-order logic; GDP requirements; inference mechanisms; Prolog; GDP significance; time; space; accuracy; second-order predicate calculus; prototype implementation; graphical rendering; logical information; high-resolution color display; formal logic; formal specification; geographic information systems; inference mechanisms; logic programming; PROLOG (xsd:string)
dc:title Formal Specification of Geographic Data Processing Requirements. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 2 (xsd:string)