Критерий совпадения V-реализуемости формул расширения L языка арифметики с классической семантикой языка Lстатья

Статья опубликована в журнале из перечня ВАК

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


[1] Коновалов А. Ю. Критерий совпадения v-реализуемости формул расширения l языка арифметики с классической семантикой языка l // Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460). — 2018. — Т. 22, № 3. — С. 127–130.

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