First Page | Document Content | |
---|---|---|
![]() Date: 2013-05-31 02:47:36Mathematics Special functions Declarative programming Automated theorem proving Logic programming Data types Functional programming Logical truth Substitution Cons Exponentiation Inverse trigonometric functions | Add to Reading List |