Querying Distributed Digital Libraries of Mathematics (0)

by F Guidi, Sacerdoti Coen, C
Venue:In Proceedings of Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Aracne Editrice