Вы здесь
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2019
Ключевые слова:
Стр.:
582 p.
Редактор:
Место издания:
Издательство:
Том:
11716
Карточка:
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019/Ed. by Fontaine P..-Berlin.: Springer, 2019.-Vol. 11716.-582 p.-(Lecture Notes in Artificial Intelligence).