Вы здесь

Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020

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

Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020/Ed. by Peltier N., Sofronie-Stokkermans V..-Berlin.: Springer, 2020.-Vol. 12166.-537 p.-(Lecture Notes in Artificial Intelligence).