Вы здесь

Главная

Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2015
Ключевые слова: 
автоматический
вывод
отказоустойчивость
переписывание
принятие решений
интерактивный
доказательство теорем
приложение
логика первого порядка
комбинаторика
гибридная система
верификация
Стр.: 
640 p.
Редактор: 
Felty A. P.
Middeldorp A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
9195
Карточка: 

Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015Ed. by Felty A. P., Middeldorp A..-Berlin.: Springer, 2015.-Vol. 9195.-640 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO11 287