Sistemi Algoritmici Indicizzati per il Ragionamento Giuridico

Paola Cattabriga

Contatta l'autore »

Paola Cattabriga

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