Not registered as user yet
Name: Claudio Sacerdoti Coen
Bio: My principal line of research is the study of the integration of XML-based Mathematical Knowledge Management technologies with Interactive Theorem Proving.
Affiliation: University of Bologna
Personal website: http://www.cs.unibo.it/~sacerdot/
|CPP 2016||Committee Member in Program Committee within the CPP-track|
|Show activities from other conferences|
View general profile