From: Ferruccio Guidi Date: Mon, 8 Sep 2003 11:57:43 +0000 (+0000) Subject: added information on the "qdl" article with C.S.C. X-Git-Tag: v0_0_1~16 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=845d9a392bb01f23210b3370bacb2618890b845b;p=helm.git added information on the "qdl" article with C.S.C. --- diff --git a/helm/mathql/homepage/implementation.html b/helm/mathql/homepage/implementation.html index 5b41f9d08..286a5dbbc 100644 --- a/helm/mathql/homepage/implementation.html +++ b/helm/mathql/homepage/implementation.html @@ -110,7 +110,7 @@ near future.
  • F. Guidi and C. Sacerdoti Coen: Querying Distributed Digital Libraries of Mathematics.
  • - + will appear as research report of Laboratoire D'Informatique de Paris 6