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