Вы здесь

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021

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

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./30th International Conference, TABLEAUX 2021, Birmingham, UK, September 2021/Ed. by Das A., Negri S..-Berlin.: Springer, 2021.-Vol. 12842.-467 p.-(Lecture Notes in Artificial Intelligence).