Вы здесь

Главная

Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
архитектура
верификация
легализация
искусственный интеллект
булевы функции
программирование в ограничениях
constraint satisfaction problems
теория ограничений
теория решений
встроенная система
формальная логика
теория графов
model checking
решение проблем
выполнимость
Стр.: 
972 p.
Редактор: 
Simonis H.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
21133
Том: 
12333
Карточка: 

Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020Ed. by Simonis H..-Berlin.: Springer, 2020.-Vol. 12333.-972 p.-(Lecture Notes in Computer Science).