Sfoglia per Autore
Formal Mathematics on the Web
2001 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
XML, Stylesheets and the Re-mathematization of Formal Content
2001 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
Mathematical Knowledge Management in HELM
2001 Asperti, A; Guidi, F; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
The Gnome DOM Engine
2001 Casarini, P; Padovani, Luca
HELM and the Semantic Math-Web
2001 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Mathematics on the Web | 1-gen-2001 | Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I. | |
XML, Stylesheets and the Re-mathematization of Formal Content | 1-gen-2001 | Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I. | |
Mathematical Knowledge Management in HELM | 1-gen-2001 | Asperti, A; Guidi, F; Padovani, Luca; SACERDOTI COEN, C; Schena, I. | |
The Gnome DOM Engine | 1-gen-2001 | Casarini, P; Padovani, Luca | |
HELM and the Semantic Math-Web | 1-gen-2001 | Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile