Refine your search
Availability
-
Authors
-
Item types
-
Series
-
Topics
- Computer algorithms
- Computer algorithms.
- Computer logic
- Computer logic.
- COMPUTERS / Informat...
- Electronic data proc...
- First-order logic.
- First-Order Logic.
- Formal methods (Comp...
- Functional programmi...
- Intelligent knowledg...
- Intensional semantic...
- Logic programming.
- P2P Web semantics.
- Type theory.