External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time

Phil Scott, Jacques D. Fleuriot. An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. In Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert, editors, Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Volume 6877 of Lecture Notes in Computer Science, pages 182-200, Springer, 2010. [doi]

Authors

Phil Scott

This author has not been identified. Look up 'Phil Scott' in Google

Jacques D. Fleuriot

This author has not been identified. Look up 'Jacques D. Fleuriot' in Google
runs on