"Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings" - читать интересную книгу автора (Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger)