First Page | Document Content | |
---|---|---|
![]() Date: 2003-03-11 03:26:58Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus | Add to Reading List |