Одеська національна наукова бібліотека

Бібліотека працює:

понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

Довідка :

Електронний каталог : Тимофєєв, Валентин Георгійович - Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу

Тимофєєв, Валентин Георгійович - Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу

Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу

Недоступно
0 из 1

Автореферат/Дисертація
Автор: Тимофєєв, Валентин Георгійович
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу : автореф. дис. … канд. фіз.-мат. наук
Видавництво: [б.в.], 2013 г.
ISBN відсутній

(UA) Автореферат
A 199443
Главный филиал

Тимофєєв, Валентин Георгійович.
Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу : автореф. дис. … канд. фіз.-мат. наук : 01.05.03 / Валентин Георгійович Тимофєєв, Київ. нац. ун-т ім. Т. Шевченка.– К. : [б.в.], 2013.– 19 с.
100 пр. – На укр. яз.

-- 1. Фізико-математичні науки – Інформатика і кібернетика – Математичне та програмне забезпечення обчислювальних машин і систем.