First Page | Document Content | |
---|---|---|
Date: 2009-08-28 10:31:35 | AHRENDT, BECKERT, HÄHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE THEOREM PROVING 1. I NTRODUCTIONAdd to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source WebsiteFile Size: 88,39 KBShare Document on Facebook |