Jump to main content

yr 〜
yr

Search results 8

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds. (Lecture notes in computer science)

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7573>
National Diet Library

Matematicheskai͡a logika : katalog zarubezhnykh knig Biblioteki Akademii nauk SSSR, 1950-1971 gg. / sostaviteli I. A. Lifshchit͡s, G. E. Mint͡s ; otv. redaktor G. E. Mint͡s.

Matematicheskai͡a logika : katalog zarubezhnykh knig Biblioteki Akademii nauk SSSR, 1950-1971 gg. / sostaviteli I. A. Lifshchit͡s, G. E. Mint͡s ; otv. redaktor G. E. Mint͡s.
Paper図書
Biblioteka Akademii nauk SSSR1974.<H1-10>
National Diet Library

Теория доказательств и конструктивная математика

Теория доказательств и конструктивная математика
Paper図書
перевод c английского, Г.В. Давыдова, Г.Е. Минца ; под редакцией, В.П. Оревкова"Наука", Главная ред. физико-математической лит-рат1983
Other Libraries in Japan
  • Author HeadingDavydov, G. V. Mint︠s︡, G. E. Orevkov, V. P.

Математическая логика и автоматическое доказательство теорем

Математическая логика и автоматическое доказательство теорем
Paper図書
Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова"Наука," Глав. ред. физико-математической лит-ры1983
Other Libraries in Japan
  • Author HeadingChang, Chin-Liang Lee, Richard Char-Tung Davydov, G. V. Mint︠s︡, G. E. Maslov, S. I︠U︡.

Психологическая теория решений

Психологическая теория решений
Paper図書
Ю. Козелецкий ; перевод с польского Г.Е. Минца и В.Н. Поруса ; под редакцией Б.В. Бирюкова ; послесловие Б.В. Бирюкова и О.К. Тихомирова"Прогресс"1979
Other Libraries in Japan
  • Author HeadingKozielecki, Józef Mint︠s︡, G. E. Porus, V. N. Biri︠u︡kov, B. V...

Модальная логика

Модальная логика
Paper図書
Р. Фейс ; перевод с дополнениями под редакцией Г.Е. МинцаИзд-во "Наука," Глав. ред. физико-математической лит-ры1974
Other Libraries in Japan
  • Author HeadingFeĭs, Robert Mint︠s︡, G. E.

Математическая логика : каталог зарубежных книг Библиотеки Академии наук СССР, 1950-1971 гг.

Математическая логика : каталог зарубежных книг Библиотеки Академии наук СССР, 1950-1971 гг.
Paper図書
составители И.А. Лифшиц и Г.Е. Минц ; отв. редактор Г.Е. МинцБАН1974
Other Libraries in Japan
  • Author HeadingLifshit︠s︡, I. A. Mint︠s︡, G. E.

Математическая теория логического вывода

Математическая теория логического вывода
Paper図書
сборник переводов под редакцией А.В. Идельсона и Г.Е. МинцаИзд-во "Наука", Главная редакция физико-математической литературы1967
Other Libraries in Japan
  • Author HeadingIdelʹson, A. Mint︠s︡, G. E.

Reached to the end of result.

RSS