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 ListSource URL: heim.ifi.uio.noDownload Document from Source WebsiteFile Size: 162,06 KBShare Document on Facebook |