Зведений каталог бібліотек Миколаєва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

004.42+510.69
Россада, Т. В.
    Композіційно-номінативні логіки з непрямим іменуванням [Текст] / Т.В. Россада, О.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 44-49.

- Ключові слова:

математична логіка, математическая логика

- Анотація:

Досліджено композіційно-номінативні логіки.

- Є складовою частиною документів:

- Теми документа

  • УДК // Математична логіка
  • УДК // Програмування комп’ютерів. Комп’ютерні програми



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Миколаївського національного університету імені В. О. Сухомлинського