Sciweavers

Share
BIRTHDAY
2005
Springer

Bridging Theorem Proving and Mathematical Knowledge Retrieval

8 years 11 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)
books