Skip to main content
PRL Project

Logical Aspects of Digital Mathematics Libraries (extended abstract)

by Stuart F. Allen, James L. Caldwell, Robert L. Constable

  • unofficial copies PDF, PS

Proceedings of First International Workshop on Mathematical Knowledge Management (MKM'01), RISC, A-4232 Schloss Hagenberg, Austria

(Extended abstract--presentation originally entitled Interactive Digital Libraries of Formalized Algorithmic Knowledge.)

bibTex ref: ACC01

cite link