Успехи математических наук
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


УМН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Успехи математических наук, 1964, том 19, выпуск 6(120), страницы 239–241 (Mi rm6294)  
Математическая жизнь в СССР

Первый всесоюзный симпозиум по проблеме машинного поиска логического вывода

В. А. Матулис
PDF полного текста (284 kB)
Тип публикации: Информационный материал
Образец цитирования: В. А. Матулис, “Первый всесоюзный симпозиум по проблеме машинного поиска логического вывода”, УМН, 19:6(120) (1964), 239–241
Цитирование в формате AMSBIB
\RBibitem{Mat64}
\by В.~А.~Матулис
\paper Первый всесоюзный симпозиум по проблеме машинного поиска логического вывода
\jour УМН
\yr 1964
\vol 19
\issue 6(120)
\pages 239--241
\mathnet{http://mi.mathnet.ru/rm6294}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/rm6294
  • https://www.mathnet.ru/rus/rm/v19/i6/p239
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Успехи математических наук Russian Mathematical Surveys
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024