A Web Interface for Matita.

Andrea Asperti Wilmer Ricciotti

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

web interface
web applications
statistical data
user interface
search engine
website
database
database applications
web databases
cost effective
web mining
mobile terminals