Towards Mechanized Mathematical Assistants - Kauers, Manuel; Kerber, Manfred; Miner, Robert; Siekmann, Jörg; Windsteiger, Wolfgang (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence