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