Schena, Irene
Towards a semantic web for formal mathematics : dottorato di ricerca in informatica / Irene Schena ; tutore: Andrea Asperti ; coordinatore: Özalp Babaoglu ; università di Bologna, Padova, Venezia
[S.l.] : [S.n.], 2002
1 v
Università degli studi di Bologna, Dipartimento di scienze dell'informazione; Università degli studi di Padova, Dipartimento di matematica pura ed applicata; Università degli studi di Venezia, Dipartimento di informatica
13. ciclo
BN 2003-2143T
Asperti, Andrea
Babaoglu, Özalp
Università degli studi<Bologna>: Dipartimento di scienze dell'informazione
Università degli studi<Padova>: Dipartimento di matematica pura ed applicata
Università degli studi<Venezia>: Dipartimento di informatica


Tesi di dottorato. | Lingua: Italiano. | Paese: IT. | BID: TSI0201940
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980201940 TDR 2002 01940 Lettura tesi in sede