Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
510.6
Сортировать по: заглавиюдате издания
Книга
Теоретические применения методов математической логики. III: сборник работ
Наука - Ленинградское отделение, 1981 г.
ISBN отсутствует
/ : Промышленная, 17
Теоретические применения методов математической логики. III: сборник работ
Наука - Ленинградское отделение, 1981 г.
ISBN отсутствует
/ : Промышленная, 17
На полку
Книга
Исследования по конструктивной математике и математической логике. VIII: Сборник работ
Наука - Ленинградское отделение, 1979 г.
ISBN отсутствует
/ : Промышленная, 17
Исследования по конструктивной математике и математической логике. VIII: Сборник работ
Наука - Ленинградское отделение, 1979 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Теория логического вывода. Ч. II: Тезисы докладов Всесоюзного симпозиума, Москва, март 25-27, 1974 г.
Ин-т философии АН СССР, 1974 г.
ISBN отсутствует
/ : Промышленная, 17
Теория логического вывода. Ч. II: Тезисы докладов Всесоюзного симпозиума, Москва, март 25-27, 1974 г.
Ин-т философии АН СССР, 1974 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
V Всесоюзная конференция по математической логике (Новосибирск, 27-29 ноября 1979 г.): Тезисы докладов
Институт математики СО АН СССР, 1979 г.
ISBN отсутствует
/ : Промышленная, 17
V Всесоюзная конференция по математической логике (Новосибирск, 27-29 ноября 1979 г.): Тезисы докладов
Институт математики СО АН СССР, 1979 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Исследования по конструктивной математике и математической логике. VII: Сборник работ
Наука - Ленинградское отделение, 1976 г.
ISBN отсутствует
/ : Промышленная, 17
Исследования по конструктивной математике и математической логике. VII: Сборник работ
Наука - Ленинградское отделение, 1976 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Исследования по теории алгорифмов и математической логике. Т. 2: сборник работ
Вычислительный центр АН СССР, 1976 г.
ISBN отсутствует
/ : Промышленная, 17
Исследования по теории алгорифмов и математической логике. Т. 2: сборник работ
Вычислительный центр АН СССР, 1976 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
III Всесоюзная конференция по математической логике (Новосибирск, 23-27 июня 1974 г.): Тезисы докладов
Институт математики СО АН СССР, 1974 г.
ISBN отсутствует
/ : Промышленная, 17
III Всесоюзная конференция по математической логике (Новосибирск, 23-27 июня 1974 г.): Тезисы докладов
Институт математики СО АН СССР, 1974 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
/ : Промышленная, 17
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Мальцев, А. И.
Итеративные алгебры Поста: учебное пособие
НГУ, 1976 г.
ISBN отсутствует
/ : Промышленная, 17
Мальцев, А. И.
Итеративные алгебры Поста: учебное пособие
НГУ, 1976 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
VI Всесоюзная конференция по математической логике (Тбилиси, 30 ноября - 2 декабря 1982 г.): Тезисы докладов
Тбилисский университет, 1982 г.
ISBN отсутствует
/ : Промышленная, 17
VI Всесоюзная конференция по математической логике (Тбилиси, 30 ноября - 2 декабря 1982 г.): Тезисы докладов
Тбилисский университет, 1982 г.
ISBN отсутствует
/ : Промышленная, 17