AIIA
2007
Springer
13 years 12 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...