Search results for: N. Olivetti
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 107-121
Artificial Intelligence > 2015 > 226 > Complete > 1-33
Artificial Intelligence > 2013 > 195 > Complete > 165-202
The Journal of Logic Programming > 2000 > 44 > 1-3 > 37-74
Soft Computing > 1998 > 2 > 4 > 147-156