Вы здесь
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 2018/Ed. by Galmiche D., Schulz S., Sebastiani R..-Berlin.: Springer, 2018.-Vol. 10900.-724 p.-(Lecture Notes in Computer Science).