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

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

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

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

  3. 2000

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  11. 1996

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

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

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

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

ID: 194195