Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/journals/entcs/BuchbergerC04

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/80/4001 + , https://dblp.org/pid/86/1778 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1016/J.ENTCS.2003.12.027 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1016/J.ENTCS.2003.12.027 + , http://dx.doi.org/10.1016/J.ENTCS.2003.12.027 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/journals/entcs/entcs93 +
https://dblp.org/rdf/schema#numberOfCreators	2
https://dblp.org/rdf/schema#pagination	24-59
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1016/J.ENTCS.2003.12.027 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/mkm/2003s +
https://dblp.org/rdf/schema#publishedIn	MKM Symposium
https://dblp.org/rdf/schema#publishedInBook	MKM Symposium
https://dblp.org/rdf/schema#title	Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema.
https://dblp.org/rdf/schema#yearOfEvent	2003
https://dblp.org/rdf/schema#yearOfPublication	2004
owl:sameAs	https://doi.org/10.1016/J.ENTCS.2003.12.027 + , http://dx.doi.org/10.1016/J.ENTCS.2003.12.027 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Bruno Buchberger and Adrian Craciun: Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. (2003)

	This page has no properties.

Navigation menu