First Page | Document Content | |
---|---|---|
![]() Date: 2013-01-15 03:40:14Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic | Add to Reading List |