lecture notes final update
SHACL Constraint Validation over Ontology-enhanced KGs via Rewriting
Equazioni differenziali ordinarie
Chapter 16
Teorema di validità
Chapter 17
Introduzione alle logiche modali proposizionali
Estratto da "Il libro della natura" ed Touring Club Italiano, 1987, Milano
Chapter 15
Chapter 7