Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Минц, Г. Е.
Сортировать по: заглавиюСвязанные описания:
Книга
Применение методов математической логики. Секция "Представление знаний и синтез программ"
тезисы докладов IV всесоюзной конференции
АН Эстонской ССР, 1986 г.
ISBN отсутствует
/ : Промышленная, 17
Применение методов математической логики. Секция "Представление знаний и синтез программ"
тезисы докладов IV всесоюзной конференции
АН Эстонской ССР, 1986 г.
ISBN отсутствует
/ : Промышленная, 17
На полку
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Клини, С. К.
Математическая логика
Mathematical logic
Мир, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Клини, С. К.
Математическая логика
Mathematical logic
Мир, 1973 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Вопросы кибернетики: проблемы сокращения перебора: сборник
ВИНИТИ, 1987 г.
ISBN отсутствует
/ : Промышленная, 17
Вопросы кибернетики: проблемы сокращения перебора: сборник
ВИНИТИ, 1987 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Мартин-Лёф, П.
Очерки по конструктивной математике
Notes on constructive mathematics
Мир, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Мартин-Лёф, П.
Очерки по конструктивной математике
Notes on constructive mathematics
Мир, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Математическая логика. Каталог зарубежных книг библиотеки Академии Наук СССР 1950-1971 гг.
БАН, 1974 г.
ISBN отсутствует
/ : Промышленная, 17
Математическая логика. Каталог зарубежных книг библиотеки Академии Наук СССР 1950-1971 гг.
БАН, 1974 г.
ISBN отсутствует
/ : Промышленная, 17