Классическая истинность всех абсолютно арифметически реализуемых предикатных формулстатья

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

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


[1] Коновалов А. Ю. Классическая истинность всех абсолютно арифметически реализуемых предикатных формул // Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460). — 2018. — Т. 22, № 4. — С. 111–114.

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