Decidibilitá e Indecidibilitá nelle Teorie Elementari. Metodi di Risoluzione Automatica.
Paola Cattabriga
- Autore della tesi: Decidibilitá e Indecidibilitá nelle Teorie Elementari. Metodi di Risoluzione Automatica. ≫
- Autore della tesi: Sistemi Algoritmici Indicizzati per il Ragionamento Giuridico ≫