Результати пошуку - Timofeev, V.G.

  • Показ 1 - 1 результатів із 1
Уточнити результати
  1. 1
    Зображення обкладинки

    T-satisfiability test problem for the VL1 logical language of the VRS system за авторством Timofeev, V.G.

    Опубліковано в PROBLEMS IN PROGRAMMING (2015)
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: