Sciweavers

CADE
2001
Springer

On the Evaluation of Indexing Techniques for Theorem Proving

13 years 8 months ago
On the Evaluation of Indexing Techniques for Theorem Proving
Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where CADE
Authors Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov
Comments (0)