Learning Heuristics for a Theorem Prover Using Back Propagation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Wolfgang Ertel' in GoogleThis author has not been identified. It may be one of the following persons:

Johann Schumann

Look up 'Johann Schumann' in GoogleThis author has not been identified. Look up 'Christian B. Suttner' in Google

runs on WebDSL