Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
ru Русский
  • en Английский
Версия для слабовидящих
  • О журнале
  • Редакционная коллегия
  • Архив выпусков
  • Авторам
    • Меню
    • Содержание и структура статьи
    • Оформление статьи
    • Подача и рассмотрение статьи
    • Рецензирование
    • Список литературы
    • Аннотация к статье
    • Лицензионное соглашение
  • Этика научных публикаций
  • Новости
  • Вопрос-ответ
  • Контакты
Автор Павлов Владимир Александрович
Подать статью
График выхода журналов
  • №1 Март 2023
  • №2 Июнь 2023
  • №3 Сентябрь 2023
  • №4 Декабрь 2023
Последние выпуски
  • 2022, Том 15 Выпуск 4 Полный текст
  • 2022, Том 15 Выпуск 3 Полный текст
  • 2022, Том 15 Выпуск 2 Полный текст
  • 2022, Том 15 Выпуск 1 Полный текст
Павлов Владимир Александрович
  • decodeDefault
  • 195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.

Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова

Интеллектуальные системы и технологии
Павлов В.А. Пак В.Г.
  • Год: 2015
  • Выпуск: 6
  • 351
  • 4844
  • Страницы: 70-80

Эффективная программная реализация обратного метода Маслова для интуиционистской логики

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Павлов В.А.
  • Год: 2017
  • Том: 10
  • Выпуск: 1
  • 72
  • 4317
  • Страницы: 49-62
Информатика, телекоммуникации и управление

Разработка сайта: ОПИТ Медиа-центра СПбПУ

Политика конфиденциальности

Контакты
  • Политехническая ул., 29, Научно-исследовательский корпус, В.3.17. Санкт-Петербург, Россия, 195251
  • decodeText
  • decodeDefault