Refine your search
Availability
-
Authors
- Chytil, Michal (1)
- Ferrante, Jeanne (1)
- Janiga, Ladislav (1)
- Koubek, Vaclav (1)
- Parberry, Ian (1)
- Rackoff, Charles W. (1)
- Show more
- Show less
-
Collections
-
Item types
-
Series
-
Topics
- Computational comple... (4)
- Computer programming (1)
- Formal languages (1)
- Logic programming (1)
- Logic, Symbolic and ... (1)
- Machine theory (1)
- Parallel processing ... (1)
- Predicate calculus (1)
- Ամսագիր (1)
- Show more
- Show less