W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann. Der META-Beweiser für die Zahlentheorie. In Wolfgang Wahlster, editor, GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, September 27 - October 1, 1982, Proceedings. Volume 58 of Informatik-Fachberichte, pages 142-153, Springer, 1982.
@inproceedings{BendaHRV82,
title = {Der META-Beweiser für die Zahlentheorie},
author = {W. Benda and Günter Hornung and Peter Raulefs and F. Vollmann},
year = {1982},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/BendaHRV82},
cites = {0},
citedby = {0},
pages = {142-153},
booktitle = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, September 27 - October 1, 1982, Proceedings},
editor = {Wolfgang Wahlster},
volume = {58},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-11960-4},
}