Sintesi ed Esecuzione di Strategie di Prova nella Metateoria Formale di un Dimostratore Interattivo (1994)

by L Vigan`o