Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoningстатья

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

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


[1] Korukhova Y. Using an automated synthesis system for studying proof planning and automated reasoning // Proceedings of the 3rd UK Workshop on AI in Education. — Cambridge, 2007. — P. 17–21.

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