First Page | Document Content | |
---|---|---|
![]() Date: 2016-03-01 06:31:32Software engineering Computing Computer programming Lambda calculus Automated theorem proving Logic programming Subroutines Logic in computer science Substitution Closure Free variables and bound variables Term | Add to Reading List |