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