Страница публикации
Транслятор языка первопорядковых логических формул в формате TPTP в язык позитивно-образовательных формул TPTP2PCF
Авторы: Ларионов А.А., Давыдов А.В.
Журнал:
Том:
Номер: 2017613922
Год: 2017
Отчётный год: 2017
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: