Claudio Sacerdoti Coen
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Affiliations | University Of Bologna |
| Citations | 1,550 |
| H index | 21 |
| Interests | Interactive Theorem Proving |
| Mathematical Knowledge Management | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2889312 |
