First Page | Document Content | |
---|---|---|
![]() Date: 2015-01-25 16:18:54Formal methods Automated theorem proving Mathematical logic Model theory Mathematical proof QED manifesto Theorem Proof assistant Automated reasoning Mathematics Logic Theoretical computer science | Add to Reading List |