Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчисленияхтезисы доклада

Работа с тезисами доклада


[1] Боков Г. В. Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях // Тезисы докладов XIX Международной научной конфенции студентов, аспирантов и молодых учёных Ломоносов–2012 / Секция Математика и механика / 2012 г. / тезисы. — МАКС Пресс Москва, 2012.

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