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

  2. Partial Deduction in Predicate Calculus as a Tool for Artificial Intelligence Problem Complexity Decreasing

    Kosovskaya, T. M., 2 фев 2016, Proceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015. Institute of Electrical and Electronics Engineers Inc., стр. 73-76 4 стр. 7397199. (2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015).

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

  3. NP completeness conditions for verifying the consistency of several kinds of systems of linear diophantine discongruences

    Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 1 янв 2016, в: Vestnik St. Petersburg University: Mathematics. 49, 1, стр. 18-22 5 стр.

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

  4. Multi-agent description of an object by means of a predicate calculus language Vol. 23, No 4. 2016. P. 338 – 346.

    Kosovskaya, T., 2016, в: International Journal on Information Theory and Applications. 23, 4, стр. 338 – 346

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

  5. Мультиагентное описание сложного объекта по достоверной информации

    Косовская, Т. М., 2016, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 4, стр. 5 – 18

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

  6. Некоторые задач искусственного интеллекта при их формализации на языке исчисления предикатов

    Косовская, Т. М., 2016, Информационные технологии в управлении (ИТУ – 2016): Материалы 9-й конференции по проблемам управления. ЦНИИ «Электроприбор», стр. 67–70

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

  7. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых дизсравнений

    Косовский, Н. К., Косовская, Т. М. & Косовский, Н. Н., 2016, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 3(.61), 1, стр. 196 — 201.

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

  8. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых дизуравнений

    Косовский, Н. К., Косовская, Т. М. & Косовский, Н. Н., 2016, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 3 (61), 3, стр. 408–414

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

  9. Условия NP-полноты проверки совместности нескольких видов систем линейных диофантовых сравнений и уравнений

    Косовский, Н. К., Косовская, Т. М. & Косовский, Н. Н., 2016, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 3 (61), 2, стр. 198 — 203

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

  10. 2015

  11. A Mathematical Notion of a Package of Level Markov-Post Algorithms for Word Processing

    Kosovskii, N. K. & Kosovskaya., T. M., 2015, в: Global Journal of Pure and Applied Mathematics. 11, 6, стр. 4911-4917

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

  12. Level system of formulas for decreasing the number of proof steps of formulas simulating some Artificial Intelligence problems

    Kosovskaya, T. M., 2015, 15th Congress on Logic, Methodology and Philosophy of Science: Book of abstarcts. Helsinki: Helsinki University Press, стр. 283

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

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

ID: 217600