Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /

Збережено в:
Бібліографічні деталі
Автор: Nikolaj Bjørner, Andrei Voronkov (edición)
Формат: Книга
Мова:Англійська
Опубліковано: Berlín, Alemania : Springer, 2012, c2012
Серія:(Lecture Notes in Computer Science)
Онлайн доступ:Ver documento en línea
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!