A new sequent calculus for automated proof search › Обзор исследований

Язык оригинала	Английский
Страницы (с-по)	4977-4984
Число страниц	8
Журнал	Applied Mathematical Sciences
Том	8
Номер выпуска	97-100
DOI	https://doi.org/10.12988/ams.2014.46497
Состояние	Опубликовано - 1 янв. 2014

ID: 296022