Simulation of Natural Deduction and Gentzen Sequent Calculusстатья

Информация о цитировании статьи получена из Scopus, Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 августа 2018 г.

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст 11930-31299-2-PB.pdf 1,1 МБ 25 апреля 2017 [legionier]