Automated Deduction – CADE-23 - Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Artificial Intelligence