Content: BIBLIO
SortPubli: byDateDesc
Publityp: ALL
Filter Corrresp: ALL
PubliLang: ALL
Decade: ALL

Giovanna Corsi

with Lupacchini Rossella (2008) Deduction, computation, experiment: exploring the effectiveness of proof, Dordrecht, Springer.

(2008) "The logic of the weak excluded middle: a case study of proof-search", in: Lupacchini Rossella; Corsi Giovanna (ed), Deduction, computation, experiment: exploring the effectiveness of proof, Dordrecht, Springer, pp.95-116.

Language: ALL
Current selection: ALL

Period: ALL
Current selection: ALL