Automated Deduction – CADE-21 - Pfenning, Frank; Siekmann, Jörg (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence