Поиск :
Личный кабинет :
Электронный каталог: Тимофеев, В.Г. - Исследование и разработка алгоритмов проверки выполнимости в логиках композиционно-номинативного ...
Тимофеев, В.Г. - Исследование и разработка алгоритмов проверки выполнимости в логиках композиционно-номинативного ...
Автореферат
Автор: Тимофеев, В.Г.
Исследование и разработка алгоритмов проверки выполнимости в логиках композиционно-номинативного ... : автореферат диссертации ... канд. физ.- мат. наук : 01.05.03
2013 г.
ISBN отсутствует
Автор: Тимофеев, В.Г.
Исследование и разработка алгоритмов проверки выполнимости в логиках композиционно-номинативного ... : автореферат диссертации ... канд. физ.- мат. наук : 01.05.03
2013 г.
ISBN отсутствует
На полку
Автореферат
А-37115
Тимофеев, В.Г.
Исследование и разработка алгоритмов проверки выполнимости в логиках композиционно-номинативного типа: автореферат диссертации ... канд. физ.- мат. наук : 01.05.03 / В.Г. Тимофеев; кол. авт. Киевский национальный университет им. Т. Шевченко. – Киев, 2013. – 19 с. - На укр. яз.
А-37115
Тимофеев, В.Г.
Исследование и разработка алгоритмов проверки выполнимости в логиках композиционно-номинативного типа: автореферат диссертации ... канд. физ.- мат. наук : 01.05.03 / В.Г. Тимофеев; кол. авт. Киевский национальный университет им. Т. Шевченко. – Киев, 2013. – 19 с. - На укр. яз.
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ЧЗ НР | 1 | - | - | Недоступно |