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

  2. Расширение пропозиционального секвенциального исчисления списками и сложением.

    Косовский, Н. К. & Дарвиш, А., 2004, "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. стр. 497-499

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

  3. Сложность выполнимости суперпозиций из одной или двух двуместных логических связок.

    Косовский, Н. К. & Косовская, Т. М., 2004, Труды VI Международной конференции "Дискретные модели в теории управляющих систем"..

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

  4. 2003

  5. Серия новых логических связок для проектирования электронных схем.

    Косовский, Н. К., 2003, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2, стр. 64-68

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

  6. 2002

  7. Интервальные логики вероятностно-временного типа. Современная логика: проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции 20-22 июня 2002г. СПб, СПбГУ, 2002, с. 459-461.

    Косовский, Н. К., 2002, Современная логика: проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции 20-22 июня 2002г.. Издательство Санкт-Петербургского университета

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

  8. Квази LIN-SPACE полнота арифметики по константному модулю.

    Косовский, Н. К. & Косовская, Т. М., 2002, Материалы XIII Международной школы-семинара "Синтез и сложность управляющих систем" (Пенза. 14-20 октября 2002 г.) Часть II / Под общ. ред. чл.-корр. РАН О.Б.Лупанова.. Издательство Московского университета, стр. 122-128

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

  9. Подходы к нерешенному варианту 10-й проблемы Гильберта

    Косовский, Н. К., 2002, Доклады Международного математического семинара "К 140-летию со дня рождения Давида Гильберта из Кенигсберга и 25-летию математического факультета".. Калиниград: Издательство Балтийского федерального университета им. И. Канта, стр. 177-180

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

  10. 2001

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

    Косовский, Н. К., 2001, Тр. XII Байкальской международной конферении "Методы оптимизации и их приложения", Т. 5, Дискретная математика.

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

  12. Верхние оценки времени выпонения И/ИЛИ-заданий.

    Косовский, Н. К. & Скворцова, М. А., 2001, Материалы XI Межгосударственной школы-семинара "Синтез и сложность управляющих систем".. стр. 99-104

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

  13. Сложность разрешения логик с ограниченным числом ранжированных объектов.

    Косовский, Н. К. & Опара, М. А., 2001, Материалы XI Межгосударственной школы-семинара "Синтез и сложность управляющих систем".. стр. 91-98

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

  14. Сложность разрешения многоагентных логик с ограниченным числом ранжированных объектов.Материалы VII Международного семинара "Дискретная математика и ее приложения", ч.1. М.,МГУ, 2001. С. 65-68.

    Косовский, Н. К. & Опара, М. А., 2001, Материалы VII Международного семинара "Дискретная математика и ее приложения", ч.1.. Издательство Московского университета, стр. 65-68.

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

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

ID: 194195