Planning Proof in the Deductive Tableau Using Ripplingстатья

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

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


[1] Korukhova Y. Planning proof in the deductive tableau using rippling // Proceedings of the 5th International Conference on Recent Advances in Soft Computing (RASC2004). — United Kingdom: United Kingdom, 2004. — P. 384–390.

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