Электронный каталог СКУНБ им. Лермонтова

👓
rus
Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы: 9.00–20.00
Контактная информация: (865-2) 29-61-57, 8(8652)24-32-47
Предварительный заказ литературы

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Поиск одной строкой

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Помощь

Личный кабинет :


Электронный каталог: Справочник авторов

К списку авторов

Канович, М. И.

Сортировать по: заглавию

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

Статья
Канович, М. И.
О семантике и логике вычислительных задач
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
О конструктивности логики вычислительных задач
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
Об одном общем методе конструирования конкретных сильно независимых предложений
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
Квазиполиноминальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
Эффективные логические алгоритмы анализа и синтеза зависимостей
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
О независимости инвариантных предложений
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
О сводимости общерекурсивными операторами
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
Об импликативности решётки табличных степеней алгорифмических проблем
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
Решение задачи Роджерса о соотношении сильной и слабой теории о рекурсии
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
О сложности и сводимости алгорифмических массовых проблем
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
О регистровой сложности адресных машин
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
О сложности проблемы отделения рекурсивно-перечислимых множеств
б.г.
ISBN отсутствует


На полку На полку


Статья
Канович, М. И.
О табличных сводимостях проблем продолжения частично-рекурсивных функций
б.г.
ISBN отсутствует


На полку На полку

© Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.203