61 - 70 out of 109Page size: 10
  1. 2014

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article

  5. 2013

  6. Efficient Simulation for Prolog Implementation of Image Recognition Problem

    Kosovskaya, T. & Vlasova, M., 2013, In: International Journal on Information Theory and Applications. 20, 2, p. 156 – 161

    Research output: Contribution to journal › Article › peer-review

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

    Kosovskaya, T. & Petukhova, N., 2013, In: INFORMATION MODELS AND ANALYSES. 2, 1, p. 81–89

    Research output: Contribution to journal › Article

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Book/Report/Anthology › Teaching materials

  11. 2012

  12. 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, p. 153 – 159

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research › peer-review

  13. Polynomial-Time Effectiveness of Pascal, Turbo Prolog, Visual Prolog and Refal-5 Programs

    Kosovskiy, N. & Kosovskaya, T., 2012, In: INFORMATION MODELS AND ANALYSES. 1, 1, p. 94-99

    Research output: Contribution to journal › Article

Previous 1...3 4 5 6 7 8 9 10 11 Next

ID: 217600