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