Geometria Complessa e Geometria Differenziale
home
|
mail
|
papers
|
authors
|
news
|
seminars
|
events
|
open positions
|
login
Formalizzazione del calcolo quaternionico nella logica di ordine superiore con il sistema di dimostrazione HOL Light.
Marco Maggesi
created by daniele on 22 May 2014
27 may 2014 -- 11:30
Aula Tricerri (DIMAI Dini, Firenze)
Credits
|
Cookie policy
|
HTML 5
|
CSS 2.1