%0 Conference Paper %1 conf/frocos/Buchberger96 %A Buchberger, Bruno %B FroCoS %D 1996 %E Baader, Franz %E Schulz, Klaus U. %I Kluwer Academic Publishers %K dblp %P 193-219 %T Symbolic Computation: Computer Algebra and Logic. %U http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#Buchberger96 %V 3 %@ 0-7923-4271-2

@inproceedings{conf/frocos/Buchberger96, added-at = {2017-03-20T00:00:00.000+0100}, author = {Buchberger, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2bbd4d825a332494c62552f4763f06952/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/1996}, editor = {Baader, Franz and Schulz, Klaus U.}, interhash = {761eee99f272e760c3b3ec7a38cf9974}, intrahash = {bbd4d825a332494c62552f4763f06952}, isbn = {0-7923-4271-2}, keywords = {dblp}, pages = {193-219}, publisher = {Kluwer Academic Publishers}, series = {Applied Logic Series}, timestamp = {2017-03-21T11:38:53.000+0100}, title = {Symbolic Computation: Computer Algebra and Logic.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#Buchberger96}, volume = 3, year = 1996 }