%0 Conference Paper %1 conf/synasc/Buchberger06 %A Buchberger, Bruno %B SYNASC %D 2006 %E Negru, Viorel %E Petcu, Dana %E Zaharie, Daniela %E Abraham, Ajith %E Buchberger, Bruno %E Cicortas, Alexandru %E Gorgan, Dorian %E Quinqueton, Joël %I IEEE Computer Society %K dblp %P 3-4 %T Mathematical Theory Exploration. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2006.html#Buchberger06 %@ 0-7695-2740-X

@inproceedings{conf/synasc/Buchberger06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Buchberger, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2a1fbc21a88581d337cbc39a65190499b/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2006}, editor = {Negru, Viorel and Petcu, Dana and Zaharie, Daniela and Abraham, Ajith and Buchberger, Bruno and Cicortas, Alexandru and Gorgan, Dorian and Quinqueton, Joël}, ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.50}, interhash = {12922b320b316e5de50f49910188cd8c}, intrahash = {a1fbc21a88581d337cbc39a65190499b}, isbn = {0-7695-2740-X}, keywords = {dblp}, pages = {3-4}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:18:58.000+0200}, title = {Mathematical Theory Exploration.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2006.html#Buchberger06}, year = 2006 }