Вы здесь

Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018

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

Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018Ed. by Galmiche D., Schulz S., Sebastiani R..-Berlin.: Springer, 2018.-Vol. 10900.-724 p.-(Lecture Notes in Computer Science).