%0 Conference Paper %1 conf/ogai/ErtelSS89 %A Ertel, Wolfgang %A Schumann, Johann %A Suttner, Christian B. %B ÖGAI %D 1989 %E Retti, Johannes %E Leidlmair, Karl %I Springer %K dblp %P 87-95 %T Learning Heuristics for a Theorem Prover Using Back Propagation. %U http://dblp.uni-trier.de/db/conf/ogai/ogai1989.html#ErtelSS89 %V 208 %@ 3-540-51039-7

@inproceedings{conf/ogai/ErtelSS89, added-at = {2002-08-12T00:00:00.000+0200}, author = {Ertel, Wolfgang and Schumann, Johann and Suttner, Christian B.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ce46a5edbff9fd45ec11bd056064909a/dblp}, booktitle = {ÖGAI}, crossref = {conf/ogai/1989}, editor = {Retti, Johannes and Leidlmair, Karl}, ee = {http://dx.doi.org/10.1007/978-3-642-74688-8_10}, interhash = {d47106b924c3086b5293d290576cd14c}, intrahash = {ce46a5edbff9fd45ec11bd056064909a}, isbn = {3-540-51039-7}, keywords = {dblp}, pages = {87-95}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-16T10:39:07.000+0100}, title = {Learning Heuristics for a Theorem Prover Using Back Propagation.}, url = {http://dblp.uni-trier.de/db/conf/ogai/ogai1989.html#ErtelSS89}, volume = 208, year = 1989 }