Foto del docente

Claudio Sacerdoti Coen

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Teaching

Assigned dissertations

Recent dissertations supervised by the teacher.

First cycle degree programmes dissertations

Una webapp per dimostrazioni in deduzione natuale per la logica del primo ordine