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 9783540307044.
The full text of this publication is not available from this repository.
|
|
This list was generated on Thu May 23 10:37:12 2013 BST.
