Introduction System Description Evaluation Conclusions, Future Work Efficiently Checking

First Page		Document Content
Date: 2006-11-16 07:15:36 Proof assistants Logic in computer science Theoretical computer science Mathematical logic Isabelle HOL Logic for Computable Functions		Introduction System Description Evaluation Conclusions, Future Work Efficiently Checking Add to Reading List Source URL: user.it.uu.se Download Document from Source Website File Size: 383,43 KB Share Document on Facebook