Per un funzionamento corretto è necessario JavaScript. Trovi qui le istruzioni su come abilitare JavaScript nel tuo browser.
Anton.Gnatenko@student.unibz.it
Pagina web personale
Logica descrittiva, logica temporale