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}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdm210
  • http://mi.mathnet.ru/rus/pdm/y2010/i12/p81

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Прикладная дискретная математика
    Просмотров:
    Эта страница:119
    Полный текст:51
    Литература:22
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021