Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/issac/BuchbergerJKMTV97
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/issac/BuchbergerJKMTV97
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/80/4001 + , https://dblp.org/pid/31/4122 + , https://dblp.org/pid/92/1590 + , https://dblp.org/pid/98/1023 + , https://dblp.org/pid/29/3877 + , https://dblp.org/pid/75/3478 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1145/258726.258853 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1145/258726.258853 + , http://dx.doi.org/10.1145/258726.258853 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/issac/issac97 +
https://dblp.org/rdf/schema#numberOfCreators 6
https://dblp.org/rdf/schema#pagination 384-391
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1145/258726.258853 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/issac/1997 +
https://dblp.org/rdf/schema#publishedIn ISSAC
https://dblp.org/rdf/schema#publishedInBook ISSAC
https://dblp.org/rdf/schema#title A Survey of the Theorema Project.
https://dblp.org/rdf/schema#yearOfEvent 1997
https://dblp.org/rdf/schema#yearOfPublication 1997
owl:sameAs https://doi.org/10.1145/258726.258853 + , http://dx.doi.org/10.1145/258726.258853 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label Bruno Buchberger et al.: A Survey of the Theorema Project. (1997)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fconf-2Fissac-2FBuchbergerJKMTV97"