Author:
Buchberger Bruno,Lichtenberger Franz
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Einleitung;Mathematik für Software Engineering;2018
2. Theorema;The Seventeen Provers of the World;2006
3. PROOF-PAD An Interactive Proof Generating System Using Natural Deduction;Österreichische Artificial Intelligence-Tagung;1985
4. Mathematische Grundbegriffe;Automatentheorie;1984
5. Introduction;Computing Supplementa;1983