Level system of formulas for decreasing the number of proof steps of formulas simulating some Artificial Intelligence problems

Результат исследований: Материалы конференцийтезисы

Язык оригиналане определен
Страницы283
СостояниеОпубликовано - 2015
Опубликовано для внешнего пользованияДа
Событие15th Congress of Logic, methodology and Philosophy of Science - Helsinki, Финляндия
Продолжительность: 2 авг 20157 авг 2015
http://clmps.helsinki.fi/

конференция

конференция15th Congress of Logic, methodology and Philosophy of Science
СтранаФинляндия
ГородHelsinki
Период2/08/157/08/15
Адрес в сети Интернет

Цитировать

Kosovskaya, T. M. (2015). Level system of formulas for decreasing the number of proof steps of formulas simulating some Artificial Intelligence problems. 283. Выдержка из 15th Congress of Logic, methodology and Philosophy of Science, Helsinki, Финляндия.