Project for the exam of Tecnologie Web
esercizio 3 di laboratorio tweb
Progetto numero 3 di Tecnologie Web.
Theorem prover for Conditional Logics