Dimostrazione automatica di teoremi: fondamenti teorici e strategie
Fabio Vento
- Autore della tesi: Dimostrazione automatica di teoremi: fondamenti teorici e strategie ≫