First Page | Document Content | |
---|---|---|
![]() Date: 2009-08-21 09:46:49Automated theorem proving Logic in computer science Mathematical logic Proof assistant Logic for Computable Functions Coq Mathematical proof HOL Light Theorem Mathematics Logic Theoretical computer science | Add to Reading List |