Wyniki wyszukiwania dla: Clemens Ballarin
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 222-235
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2005 > Intelligent Information Systems > 159-168
Journal of Automated Reasoning > 2014 > 52 > 2 > 123-153
Formal Aspects of Computing > 2010 > 22 > 2 > 193-213
Journal of Automated Reasoning > 2008 > 40 > 4 > 271-292
Journal of Symbolic Computation > 2005 > 39 > 5 > 503-521