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

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

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


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




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

1972, том 121  
| Общая информация | Содержание |


Логические и логико-математические исчисления. 2


Автор: С. М. Никольский
Редактор тома: В. П. Оревков


Аннотация: Сборник объединяет работы по теории логического вывода и ее приложениям к построению алгорифмов машинного поиска доказательства теорем (в частности, работы по специальным вариантам классического исчисления предикатов и конструктивного исчисления предикатов, ориентированным в сторону машинного доказательства теорем).
Сборник рассчитан на математиков, как научных работников, так и студентов, а также на лиц, интересующихся математической кибернетикой. Предшествующий номер данной серии вышел в 1968 г. (Труды МИАН, т. XCVIII).

УДК: 51.01 : 164

Текст книги: Содержание

Образец цитирования: С. М. Никольский, Логические и логико-математические исчисления. 2, Тр. МИАН СССР, 121, ред. В. П. Оревков, 1972, 168 с.
Цитирование в формате AMSBIB:
\RBibitem{1}
\by С.~М.~Никольский
\book Логические и~логико-математические исчисления.~2
\serial Тр. МИАН СССР
\yr 1972
\vol 121
\ed В.~П.~Оревков
\totalpages 168
\mathnet{http://mi.mathnet.ru/book1295}

Образец ссылки на эту страницу:
  • http://mi.mathnet.ru/book1295
    		•  Труды Математического института имени В. А. Стеклова Proceedings of the Steklov Institute of Mathematics
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024