Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus
In: Wiedijk, Freek, ed.
The Seventeen Provers of the World.
Lecture Notes in Artificial Intelligence, 3600
Springer, pp. 96-107.
(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)