Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableauстатья

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

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


[1] Korukhova Y. Automation of program synthesis from logic-based specifications in the deductive tableau // ICCL Workshop on Logic-Based Knowledge Representation. — TU Dresden, 2005. — P. 1–5.

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