Main Page Tenders by countries Russian Federation: Tenders

Научно-исследовательская работа по теме: «Исследование свойств расширений базисной и формальной логик Виссера» (в рамках гранта РНФ - соглашение № 21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). (Tender №62257512)

PUSH for registration

Share:
Country: Russian Federation
Language: RU
Customer: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ ПРОБЛЕМ ПЕРЕДАЧИ ИНФОРМАЦИИ ИМ. А.А. ХАРКЕВИЧА РОССИЙСКОЙ АКАДЕМИИ НАУК
Number: 62257512
Publication date: 21-05-2022
Contract value: 15 780 (USD)
Price original: 950 000 (RUB)
Source:

Contracts Offers Protokols

Description

Full information on the tender is closed.
For further work with the site read the information below.

About us

Leading searching system of world tenders

  • Largest database of tenders and sources of procurement of the World
  • Free daily mailings according to Your settings
  • Winners information
  • Convenient display and downloading of information

Choose us

Getting Started

After site registration, this functions will be available to You

  • Subscription to free mailing list for your keyword phrases
  • Tenders announcements previews
  • Download summary information in Excel format
  • View information about tender winners, suppliers and customers

REGISTER

For using all functions of our site and view full information you need to register a commercial account

  • Selected period
  • Pay access in any of the possible ways

Get full access

Other tenders for this period

Научно-исследовательская работа по теме: «Уточнение степенных разложений решений второго члена четвертой иерархии Пенлеве и алгоритм нахождения формальных асимптотических разложений решений q-разностных уравнений, содержащих логарифмы» (в рамках гранта РНФ - соглашение № 22-21-00717 от 21.12.2021г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Исследование сходимости формальных сложных степенно-логарифмических рядов, удовлетворяющих алгебраическому ОДУ» (в рамках гранта РНФ - соглашение № 22-21-00717 от 21.12.2021г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Исследование свойств произведений логик» (в рамках гранта РНФ - соглашение №21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Изучение свойств теорий некоторых логик» (в рамках гранта РНФ - соглашение №21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Исследование семантических и теоретико-доказательных свойств логик Виссера, а также их связи с модальными логиками» (в рамках гранта РНФ - соглашение № 21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru

Научно-исследовательская работа по теме: «Объединенная логика задач и высказываний первого порядка» (в рамках гранта РНФ – соглашение №21-18-00195 от 22.04.2021г., дополнительное соглашение №1 от 28.02.2022г.). Source: zakupki.gov.ru