Вы здесь

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

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Стр.: 
650 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
12699
Карточка: 

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