Вы здесь

Главная

Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
искусственный интеллект
теория автоматов
булевы функции
логика первого порядка
формальный язык
формальная логика
логическое программирование
верификация программ
model checking
семантика
архитектура по
дизайн по
качество по
верификация по
доказательство теорем
Стр.: 
650 p.
Редактор: 
Platzer A.
Sutcliffe G.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
12699
Карточка: 

Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021Ed. by Platzer A., Sutcliffe G..-Berlin.: Springer, 2021.-Vol. 12699.-650 p.-(Lecture Notes in Artificial Intelligence).