Now showing items 1-16 of 16
| Subject |
|---|
| Automated reasoning [1] |
| Axiomatic [1] |
| Church-Turing thesis [1] |
| Computability [1] |
| Deduction [1] |
| Domains [1] |
| Meanings of programs [1] |
| Preconditions [1] |
| Predicate transformers [1] |
| Primitive recursion [1] |
| Recursion [1] |
| Recursive enumerability [1] |
| Relation algebras [1] |
| Relational [1] |
| Resolution principle [1] |
| Semantics [2] |
Now showing items 1-16 of 16