Automated Deduction – CADE-20 - International Conference on Automated Deduction; Kanade, Takeo; Nieuwenhuis, Robert; Kittler, Josef (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Artificial Intelligence