Giovanna Corsi
2 Publications
Deduction, computation, experiment
exploring the effectiveness of proof
2008
Rossella Lupacchini, Giovanna Corsi (eds)
Berlin, Springer
The logic of the weak excluded middle
a case study of proof-search
2008
in: Deduction, computation, experiment, Berlin,
2 Publications