Automated Reasoning - Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles; Siekmann, Jörg (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Artificial Intelligence