Using Parallel Computations in Deductive Synthesis of Functional Programsстатья

Дата последнего поиска статьи во внешних источниках: 29 мая 2015 г.

Работа с статьей


[1] Korukhova Y., Fastovets N. Using parallel computations in deductive synthesis of functional programs // Scientific Computing: Proceedings of the International Eugene Lawler PhD School. — Waterford Institute of Technology Ireland, 2010. — P. 67–72.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть