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