Книги автора «Ricardo Peña»

На данной странице предаставлены все книги автора «Ricardo Peña»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Ricardo Peña»

Книги

Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation. 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Gopal Gupta,Ricardo Peña)