AIIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...