Jump to main content

yr 〜
yr

Search results 3

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

Теория доказательств и конструктивная математика
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図書
[ответственные редакторы Ю.Н. Давыдов, Г.В. Осипов]Изд-во "Наука"1982
Other Libraries in Japan

Reached to the end of result.

RSS