Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/jfrea/BuchbergerJKMW16
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/jfrea/BuchbergerJKMW16
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/80/4001 + , https://dblp.org/pid/31/4122 + , https://dblp.org/pid/k/TemurKutsia + , https://dblp.org/pid/149/2436 + , https://dblp.org/pid/50/2144 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.6092/ISSN.1972-5787/4568 +
https://dblp.org/rdf/schema#doi https://doi.org/10.6092/ISSN.1972-5787/4568 + , http://dx.doi.org/10.6092/ISSN.1972-5787/4568 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/jfrea/jfrea9 +
https://dblp.org/rdf/schema#numberOfCreators 5
https://dblp.org/rdf/schema#pagination 149-185
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.6092/ISSN.1972-5787/4568 +
https://dblp.org/rdf/schema#publishedIn J. Formaliz. Reason.
https://dblp.org/rdf/schema#publishedInJournal J. Formaliz. Reason.
https://dblp.org/rdf/schema#publishedInJournalVolume 9
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 1
https://dblp.org/rdf/schema#title Theorema 2.0: Computer-Assisted Natural-Style Mathematics.
https://dblp.org/rdf/schema#yearOfPublication 2016
owl:sameAs https://doi.org/10.6092/ISSN.1972-5787/4568 + , http://dx.doi.org/10.6092/ISSN.1972-5787/4568 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Bruno Buchberger et al.: Theorema 2.0: Computer-Assisted Natural-Style Mathematics. (2016)
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-2Fjournals-2Fjfrea-2FBuchbergerJKMW16"