Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/corr/EnglandBCDMW14
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/corr/EnglandBCDMW14
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/123/4583 + , https://dblp.org/pid/41/6722 + , https://dblp.org/pid/14/4829 + , https://dblp.org/pid/28/1296 + , https://dblp.org/pid/m/MarcMorenoMaza + , https://dblp.org/pid/85/11468 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage http://arxiv.org/abs/1404.6371 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/corr/corr1404 +
https://dblp.org/rdf/schema#numberOfCreators 6
https://dblp.org/rdf/schema#primaryDocumentPage http://arxiv.org/abs/1404.6371 +
https://dblp.org/rdf/schema#publishedIn CoRR
https://dblp.org/rdf/schema#publishedInJournal CoRR
https://dblp.org/rdf/schema#publishedInJournalVolume abs/1404.6371
https://dblp.org/rdf/schema#title Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.
https://dblp.org/rdf/schema#yearOfPublication 2014
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Informal +
rdfs:label Matthew England et al.: Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. (2014)
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-2Fcorr-2FEnglandBCDMW14"