Decidibilitá e Indecidibilitá nelle Teorie Elementari. Metodi di Risoluzione Automatica.

Paola Cattabriga

Contatta l'autore »

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 ≫