An Approach to Automation of Program Synthesis in the Deductive Tableauстатья

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

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


[1] Korukhova Y. An approach to automation of program synthesis in the deductive tableau // Proceedings of the 10th ESSLLI Student Session (Heriot-Watt University, Edinburgh). — 2005. — P. 122–133.

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