71 - 79 out of 79Page size: 10
  1. 2001

  2. Транзитивность неравенств в рациональной уровневой логике с нулем и без нуля.

    Косовский, Н. К. & Тишков, А. В., 2001, Логико-философские штудии. Межвузовский сборник.. Издательство Санкт-Петербургского университета, p. 216-239

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

  3. 2000

  4. Алгоритм проверки разрешимости систем элементарных неравенств

    Смирнова, Е. С. & Косовский, Н. К., 2000, Материалы четвертой молодежной научной школы по дискретной математике и ее приложениям. Издательство Московского университета, p. 74-80.

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

  5. Дискретность в математике.

    Косовский, Н. К., 2000, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 5, p. 8-12

    Research output: Contribution to journal › Article

  6. ИСПОЛЬЗОВАНИЕ ИНТЕРНЕТ ДЛЯ ПОДДЕРЖКИ ТВОРЧЕСКОЙ И ИЗОБРЕТАТЕЛЬСКОЙ НАУЧНОЙ ДЕЯТЕЛЬНОСТИ

    Косовский, Н. К. & Хитров, Д. В., 2000, In: МАТЕМАТИЧЕСКАЯ МОРФОЛОГИЯ: ЭЛЕКТРОННЫЙ МАТЕМАТИЧЕСКИЙ И МЕДИКО-БИОЛОГИЧЕСКИЙ ЖУРНАЛ. 3, 3, p. 151-160

    Research output: Contribution to journal › Article

  7. Логики конечнозначных предикатов на основе неравенств

    Косовский, Н. К. & Тишков, А. В., 2000, Издательство Санкт-Петербургского университета. 268 p.

    Research output: Book/Report/Anthology › Book › Research

  8. Логические временные спецификации о компьютерных данных скалярного типа.

    Косовский, Н. К., 2000, Труды IV Международной конференции "Дискретные модели в теории управляющих систем".. МАКС Пресс, p. 48-49

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

  9. Сетевая система поддержки решения нестандартных задач.

    Косовский, Н. К. & Хитров, Д. В., 2000, In: Штучний інтелект. 2

    Research output: Contribution to journal › Article

  10. Сложность разрешимости некоторых дискретно нечетких систем.

    Косовский, Н. К., 2000, In: МАТЕМАТИЧЕСКИЕ ВОПРОСЫ КИБЕРНЕТИКИ. 9, p. 37-42

    Research output: Contribution to journal › Article

  11. 1996

  12. ПЕРЕБОРНЫЕ АЛГОРИТМЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА НА БАЗЕ КОМПАКТНЫХ СРЕДСТВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ

    Косовский, Н. К., 1996, Издательский Центр «Академия».

    Research output: Book/Report/Anthology › Commissioned report › Research

Previous 1...4 5 6 7 8 Next

ID: 194195