Login
Capone, Orazio Andrea
(2024)
Una webapp per dimostrazioni in deduzione natuale per la logica del
primo ordine.
[Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Documenti full-text disponibili:
![[img]](http://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
Disponibile con Licenza: Creative Commons: Attribuzione - Non commerciale - Condividi allo stesso modo 4.0 (CC BY-NC-SA 4.0) Download (3MB) |
Abstract
Questo elaborato descrive l’implementazione e i casi d’uso di una web app per la creazione e la modifica di alberi di deduzione, sia proposizionali che al prim’ordine, mirata a risolvere le problematiche riscontrate nell’uso di metodi tradizionali (carta e penna) e in progetti software passati.
Abstract
Altri metadati
Statistica sui download
Gestione del documento:
