The Logosphere Project. Project description available at http://www.logosphere.org (2005)

by F Pfenning, C Schürmann, M Kohlhase, N Shankar, S Owre