Refine your search
Availability
-
bib-level
-
Authors
-
Locations
- Книгохранилище (1)
-
Item types
-
Topics
- авторефераты диссертаций (1)
- доказательства (1)
- естественные языки (1)
- интеллектуальные ресурсы (1)
- компьютерная безопасность (1)
- логика (1)
- математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (1)
- новые информационные технологии (1)
- решение задач (1)
- формальные системы (1)
- формальные языки (1)
- Show more
- Show less