Automated Reasoning - Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Artificial Intelligence