Sciweavers

BIRTHDAY
2005
Springer

Bridging Theorem Proving and Mathematical Knowledge Retrieval

14 years 1 months ago
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Christoph Benzmüller, Andreas Meier, Volker S
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2005
Where BIRTHDAY
Authors Christoph Benzmüller, Andreas Meier, Volker Sorge
Comments (0)