61 - 70 из 110Размер страницы: 10
Сортировать по:: Год публикации
  1. 2014

  2. Полная алгоритмическая доопределимость любых алгоритмов, работающих на ограниченной памяти

    Косовский, Н. К. & Косовская, Т. М., 2014, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 1, 3, стр. 368-376

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. Понятие неполной выводимости предикатной формулы и его применеия к решению задач искусственного интеллекта

    Косовская, Т. М., 2014, Материалы Всероссийской научной конференции по проблемам информатики СПИСОК-2014 (23 — 25 апреля 2014 г., Санкт-Петербург).. Издательство «ВВМ», стр. 105-109

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная

  4. Принадлежность классу P задачи проверки выполнимости пропозициональной формулы с заданным значением её скобочной характеристики

    Косовский, Н. К. & Косовская, Т. М., 2014, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 1(59), 2, стр. 192-195

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова

    Петухова, Н. Д. & Косовская, Т. М., 2014, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, стр. 9-20

    Результаты исследований: Научные публикации в периодических изданиях › статья

  6. 2013

  7. Efficient Simulation for Prolog Implementation of Image Recognition Problem

    Kosovskaya, T. & Vlasova, M., 2013, в: International Journal on Information Theory and Applications. 20, 2, стр. 156 – 161

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  8. The Inverse Maslov Method and Ant Tactics for Exhaustive Search Decreasing

    Kosovskaya, T. & Petukhova, N., 2013, в: INFORMATION MODELS AND ANALYSES. 2, 1, стр. 81–89

    Результаты исследований: Научные публикации в периодических изданиях › статья

  9. Использование языков семейства Prolog для распознавания изображений

    Косовская, Т. М. & Власова, М. А., 2013, в: Труды СПИИРАН: SPIIRAS Proceedings. 2 (25), стр. 277–293

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  10. Нейросетевые методы логического описания и распознавания сложных образов

    Тимофеев, А. В. & Косовская, Т. М., 2013, в: Труды СПИИРАН: SPIIRAS Proceedings. 4(27), стр. 144-155

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов.

    Косовская, Т. М., 2013, Издательство Санкт-Петербургского университета.

    Результаты исследований: Книги, отчёты, сборники › учебно-методическое пособие

  12. 2012

  13. Distance between objects described by predicate formulas

    Kosovskaya, T., 2012, International Book Series. Information Science and Computing. Book 25. Mathematics of Distances and Applications.. ITHEA – Publisher, стр. 153 – 159

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная › Рецензирование

Назад 1...3 4 5 6 7 8 9 10 11 Далее

ID: 217600