Bollettino 0 - Gruppo Ricercatori e Utenti Logic … · logica (N. Guarino, LADSEB, CNR, Padova, F....
13
Bollettino 0 - Gruppo Ricercatori e Utenti Logic … · logica (N. Guarino, LADSEB, CNR, Padova, F. Santoro, Teclogic, Padova) Realizzazione di un sistema di rappresentazione della
