@inproceedings{RISC373,
author = {B. Buchberger},
title = {{Computer-unterstuetzter Algorithmenentwurf (Computer-Aided Algorithm Design)}},
booktitle = {{Proceedings of the Fruehjahrsschule Kuenstliche Intelligenz, Teisendorf, March 15-24, 1982}},
language = {german},
series = {Informatik-Fachberichte},
volume = {59},
pages = {141--202},
publisher = {Copyright: Springer -Verlag Berlin - Heidelberg - New York},
isbn_issn = {ISBN 3-540-11974-4},
year = {1982},
annote = {1982-03-15-A},
editor = {W. Bibel and J. H. Siekmann},
refereed = {yes},
length = {62}
}