Automatic Deductive Synthesis of Lisp Programs in the System ALISAстатья

Информация о цитировании статьи получена из Scopus, Web of Science
Дата последнего поиска статьи во внешних источниках: 12 октября 2013 г.

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


[1] Korukhova Y. Automatic deductive synthesis of lisp programs in the system alisa // Lecture Notes in Artificial Intelligence. — 2006. — Vol. 4160. — P. 242–252.

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