First Page | Document Content | |
---|---|---|
Date: 2009-08-28 11:37:21Theoretical computer science Algorithm Correctness RSA Metamath Symbolic computation Recursion | CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging TrendsAdd to Reading ListSource URL: www.calculemus.netDownload Document from Source WebsiteFile Size: 667,27 KBShare Document on Facebook |