Back to Results
First PageMeta Content



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

Document Date: 2007-09-18 03:47:51


Open Document

File Size: 162,06 KB

Share Result on Facebook
UPDATE