Вы здесь

Главная

Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
алгоритм аппроксимации
теория автоматов
вычислимость
доказуемость
вычислительная сложность
конечный автомат
finite state machines
формальная логика
теория графов
metric spaces
метрическое пространство
решение проблем
обработка запросов
теория множеств
доказательство теорем
xpath
regular expression
Стр.: 
323 p.
Редактор: 
Manea F.
Martin B.
Paulusma D.
Primiero G.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11558
Карточка: 

Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019Ed. by Manea F., Martin B., Paulusma D., Primiero G..-Berlin.: Springer, 2019.-Vol. 11558.-323 p.-(Lecture Notes in Computer Science).