Per anno
3
tesi di laurea
/
2020
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (laurea) — Andrea Dipietro
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (laurea) — Riccardo Varotto
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (laurea) — Ilaria Crivellari
tesi
/
2020
/
personali
Roberta Calegari
•
Giovanni Ciatto
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini