41 - 50 out of 110Page size: 10
  1. 2016

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

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

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

  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 Jan 2016, In: Vestnik St. Petersburg University: Mathematics. 49, 1, p. 18-22 5 p.

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

  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, In: International Journal on Information Theory and Applications. 23, 4, p. 338 – 346

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

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

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

    Research output: Contribution to journal › Article

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

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

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

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

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

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

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

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

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

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

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

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

  10. 2015

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

    Kosovskii, N. K. & Kosovskaya., T. M., 2015, In: Global Journal of Pure and Applied Mathematics. 11, 6, p. 4911-4917

    Research output: Contribution to journal › Article

  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, p. 283

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

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 217600