Wyniki wyszukiwania dla: Pietro Sala
Fundamenta Informaticae > 2021 > Vol. 178, nr 4 > 283--313
Lecture Notes in Computer Science > STACS 2007 > Session 9B > 549-560
Theoretical Computer Science > 2016 > 629 > C > 116-134
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 7-Track B. Logic > 345-356
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 73-87
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 73-89
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 123-137
Acta Informatica > 2016 > 53 > 6-8 > 621-648
Acta Informatica > 2016 > 53 > 6-8 > 547-585
Computers in Biology and Medicine > 2015 > 62 > Complete > 306-324
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 85-130
Theoretical Computer Science > 2013 > 493 > Complete > 98-115