Towards Practical Reflection for Formal Mathematics Martin Giese1 and Bruno Buchberger2 1 RICAM, Austrian Academy of Sciences,

First Page		Document Content
Date: 2007-09-18 03:47:51		Towards Practical Reflection for Formal Mathematics Martin Giese1 and Bruno Buchberger2 1 RICAM, Austrian Academy of Sciences, Add to Reading List Source URL: heim.ifi.uio.no Download Document from Source Website File Size: 162,06 KB Share Document on Facebook