Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
6 из 6
Доступно
3 из 3
Доступно
2 из 2
Доступно
6 из 6
Доступно
3 из 3
Доступно
2 из 2
Доступно
2 из 2
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Минц, Г.Е.
Сортировать по: заглавиюСвязанные описания:
Доступно
2 из 2
Заказать 
На полку
Многотомник
Применение методов математической логики, всесоюзная конференция (4 ; 1986 ; Таллин)
IV Всесоюзная конференция "Применение методов математической логики": тезисы докладов
АН ЭССР, 1986 г.
ISBN отсутствует
Применение методов математической логики, всесоюзная конференция (4 ; 1986 ; Таллин)
IV Всесоюзная конференция "Применение методов математической логики": тезисы докладов
АН ЭССР, 1986 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Наука, Ленинградское отделение, 1965 г.
ISBN отсутствует
ОХОФ
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Наука, Ленинградское отделение, 1965 г.
ISBN отсутствует
ОХОФ
Доступно
2 из 2
Доступно
6 из 6
Доступно
3 из 3
Книга
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
2 из 2
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
6 из 6
Доступно
3 из 3
Доступно
2 из 2
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
2 из 2
Книга
Математическая теория логического вывода: сборник переводов
Наука, 1967 г.
ISBN отсутствует
ОХОФ, ОНЛ
Математическая теория логического вывода: сборник переводов
Наука, 1967 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Книга
Козелецкий, Юзеф
Психологическая теория решений
Psychologiczna teoria decyzji
Прогресс, 1979 г.
ISBN отсутствует
ООСГЛ, ООСГЛ_КЭ
Козелецкий, Юзеф
Психологическая теория решений
Psychologiczna teoria decyzji
Прогресс, 1979 г.
ISBN отсутствует
ООСГЛ, ООСГЛ_КЭ
Доступно
2 из 2
Книга
Гудстейн, Рейбен Луис
Рекурсивный математический анализ
Наука, 1970 г.
ISBN отсутствует
ОХОФ, ОНЛ
Гудстейн, Рейбен Луис
Рекурсивный математический анализ
Наука, 1970 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
1 из 1
Книга
Секция "Логика взаимодействующих процессов". Секция "Алгоритмика трудных задач"
1986 г.
ISBN отсутствует
ОХОФ
Секция "Логика взаимодействующих процессов". Секция "Алгоритмика трудных задач"
1986 г.
ISBN отсутствует
ОХОФ
Доступно
1 из 1
Доступно
2 из 2