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

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

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


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




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

Прикладная дискретная математика, 2010, приложение к № 3, страницы 81–82 (Mi pdm210)  
Математические основы информатики и программирования

Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам

И. В. Отпущенников, А. А. Семёнов

Лаборатория дискретного анализа и прикладной логики Института динамики систем и теории управления СО РАН, г. Иркутск
PDF полного текста (325 kB)
Список литературы:
PDF
HTML
Тип публикации: Статья
УДК: 519.7
Образец цитирования: И. В. Отпущенников, А. А. Семёнов, “Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам”, ПДМ, 2010, приложение к № 3, 81–82
Цитирование в формате AMSBIB
\RBibitem{OtpSem10}
\by И.~В.~Отпущенников, А.~А.~Семёнов
\paper Программная трансляция алгоритмов в~пропозициональную логику применительно к~комбинаторным задачам
\jour ПДМ
\yr 2010
\pages 81--82
\issueinfo приложение к № 3
\mathnet{http://mi.mathnet.ru/pdm210}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdm210
  • https://www.mathnet.ru/rus/pdm/y2010/i12/p81
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика
    Статистика просмотров:
    Страница аннотации:175
    PDF полного текста:71
    Список литературы:38
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024