Wolfgang Ertel, Johann Schumann, Christian B. Suttner. Learning Heuristics for a Theorem Prover Using Back Propagation. In Johannes Retti, Karl Leidlmair, editors, 5. Österreichische Artificial Intelligence-Tagung, Igls, Tirol, 28. bis 30. September 1989, Proceedings. Volume 208 of Informatik-Fachberichte, pages 87-95, Springer, 1989.
@inproceedings{ErtelSS89, title = {Learning Heuristics for a Theorem Prover Using Back Propagation}, author = {Wolfgang Ertel and Johann Schumann and Christian B. Suttner}, year = {1989}, researchr = {https://researchr.org/publication/ErtelSS89}, cites = {0}, citedby = {0}, pages = {87-95}, booktitle = {5. Österreichische Artificial Intelligence-Tagung, Igls, Tirol, 28. bis 30. September 1989, Proceedings}, editor = {Johannes Retti and Karl Leidlmair}, volume = {208}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-51039-7}, }