Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/journals/corr/BradfordCDEMW14

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/41/6722 + , https://dblp.org/pid/14/4829 + , https://dblp.org/pid/28/1296 + , https://dblp.org/pid/123/4583 + , 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/1401.6310 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/journals/corr/corr1401 +
https://dblp.org/rdf/schema#numberOfCreators	6
https://dblp.org/rdf/schema#primaryDocumentPage	http://arxiv.org/abs/1401.6310 +
https://dblp.org/rdf/schema#publishedIn	CoRR
https://dblp.org/rdf/schema#publishedInJournal	CoRR
https://dblp.org/rdf/schema#publishedInJournalVolume	abs/1401.6310
https://dblp.org/rdf/schema#title	Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
https://dblp.org/rdf/schema#yearOfPublication	2014
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Informal +
rdfs:label	Russell J. Bradford et al.: Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. (2014)

	This page has no properties.

Navigation menu