Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Book section
Number of items: 1.
Book section
Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus (2006) Theorema. In: Wiedijk, Freek, ed. The Seventeen Provers of the World. Lecture Notes in Artificial Intelligence, 3600 . Springer, pp. 96-107. ISBN 978-3-540-30704-4. (doi:https://doi.org/10.1007/11542384_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |