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

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

004.04
Тимофеев, В. Г.
    Задача проверки Т-выполнимости для логического языка VL1 системы VRS [Текст] / В.Г. Тимофеев // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 251-259.

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

логічні операції, логические операции ; перевірка, проверка

- Анотація:

В данной работе дается короткое введение в задачу проверки Т-выполнимости формул относительно логических теорий.

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

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

  • УДК // Орієнтація процесу оброблення даних



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