Вы здесь

Главная

правила ограничения

Связанные издания:

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014