61 - 70 out of 79Page size: 10
  1. 2004

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

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

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

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

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

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

  4. 2003

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

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

    Research output: Contribution to journal › Article

  6. 2002

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

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

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

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

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

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

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

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

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

  10. 2001

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

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

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

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

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

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

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

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

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

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

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

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

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

ID: 194195