Наукова бiблiотека ХНУРЕ

Вітаємо, Гiсть Увійти

  • Головна
  • Список
  • Особистий кабінет
    • Формуляр
    • Попереднi замовлення
    • Віртуальний квиток
    • Налаштування
    • Увійти
  • Корисні посилання
    • КНМЗ
    • Відкритий архів
    • Сайт бібліотеки
    • Сайт університету
  • Українська
  • English       
  • Русский

Вид документа:

Стаття періодики

УДК:

519.95

Tveretina O. Transforming DPLL to resolution / O. Tveretina, H. Zantema // Прикладная радиоэлектроника. – 2004. – №2. – С. 60–63.

  • Додати до списку


Складова документа:
Прикладная радиоэлектроника : научно-технический журнал. №2. Т. 3 / АН Прикладной Радиоэлектроники, ХНУРЭ // Прикладная радиоэлектроника. – Х., 2004


Тема:
    УДК
  • 519.957 Нелінійні рівняння та системи
  • Ключові слова
  • інформатика, информатика, informatica, Informatik, informatics, informatique
  • обчислювальна техніка, ОТ, вычислительная техника, ВТ
  • прикладна радіоелектроніка, прикладная радиоэлектроника
Всього бібліографічних записів: 213012. Останнє оновлення: 12-JUN-25.