First Page | Document Content | |
---|---|---|
![]() Date: 2013-08-21 14:40:32Type theory Model theory Formal methods Logic programming Data types Parallel computing Variable Guarded Command Language First-order logic Software engineering Mathematics Computing | Add to Reading List |