Вы здесь

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017

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

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017/Ed. by Fioravanti F., Gallagher J. P..-Berlin., 2018.-Vol. 10855.-341 p.