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.