mariapaola Goto Github PK
Name: Maria Paola Bonacina
Type: User
Company: Università degli Studi di Verona
Bio: Professor of Computer Science at the Università degli Studi di Verona, Italy. Research areas: automated reasoning including ATP and SMT.
Location: Verona, Italy