%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
}