MainScienceMathLogic and Foundations › Asperti, Andrea

Asperti, Andrea

Edit Page
Report
Scan day: 05 March 2014 UTC
0
Virus safety - good
Description: University of Bologna, Italy.
Size: 0 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:andrea asperti homepage
Keywords:asperti matita proof proving interactive assistant logic types
Description:
IP-address:130.136.1.104

WHOIS Info

NS
WHOIS
Status: ok
Date
Created: 1996-01-29 00:00:00
Created: 2007-03-01 10:47:03
Created: 2009-02-04 15:14:40
Created: 2009-02-04 15:14:40
Created: 2009-02-04 15:14:40
Last Update: 2013-05-18 00:59:35
Last Update: 2013-02-25 16:53:29
Last Update: 2013-03-01 15:40:34