Concepedia

C Micheletti

CM

Statistics

Publications

1

Citations

41

H-Index

1

Active since

1998

Affiliations

Center for Inquiry(Current)

C Micheletti is an author at Center for Inquiry specializing in formal methods, computer science, and formal verification.

Top concepts

Publications per year

1998–1998

1

Publications

1

A model for analysing the transition to formal proofs in geometry

Ferdinando Arzarello, C Micheletti, F Olivero et al. · Bristol Research (University of Bristol) · 1998 · 41 citations

, , +10

1–1 of 1