First Page | Document Content | |
---|---|---|
![]() Date: 2009-08-14 07:09:04Software engineering Computing Theoretical computer science Automated theorem proving Datalog Horn clause -calculus Logic programming Substitution Struct ALGOL 68 Lambda calculus | Add to Reading List |