Vengono presentati i recenti risultati sullo sviluppo di un dimostratore automatico PITP per la logica proposizionale intuizionista
Moscato, U. (2011). Teoria della dimostrazione intuizionista e dimostrazione automatica. In E. Ballo, C. Cellucci (a cura di), La Ricerca logica in Italia Studi in onore di Corrado Mangione (pp. 403-413). Milano : Cisalpino.
Teoria della dimostrazione intuizionista e dimostrazione automatica
MOSCATO, UGO EMANUELE
2011
Abstract
Vengono presentati i recenti risultati sullo sviluppo di un dimostratore automatico PITP per la logica proposizionale intuizionista
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
