Angelo Susi

Researcher

 susi@irst.itc.it
 +39-0461-314344
 +39-0461-302040
 Automated reasoning System (SRA) division
ITC-Istituto per la Ricerca Scientifica e Tecnologica (IRST)
Via Sommarive 18, 38055 Povo (Trento)
I-38050 ITALY.

Angelo Susi: susi@irst.itc.it
Last modified: Tue May 4 09:48:05 CEST 2004