MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
Open Proofs and Open Terms: a Basis for Interactive Logic
H. Geuvers
; Joigov, Georgi
Proceedings of CSL'02, Edinburgh, 2002, LNCS 2471, p.537-552
This page is hosted by the
Department of Computer Science
,
University of Bologna
.
Last updated
Fri Feb 2 17:12:28 CET 2007
.