Вы здесь

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016

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

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016Ed. by Hermenegildo M. V., Lopez-Garcia P..-Berlin.: Springer, 2017.-Vol. 10184.-362 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
NOVPOS3 22