Вы здесь
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 2021Ed. by Platzer A., Sutcliffe G..-Berlin.: Springer, 2021.-Vol. 12699.-650 p.-(Lecture Notes in Artificial Intelligence).