About proof-search in intuitionistic natural deduction calculus using partial Skolemization

Результат исследований: Вклад в журналМатериалы конференции

Язык оригиналаАнглийский
Номер статьи012038
ЖурналJournal of Physics: Conference Series
Том1680
Номер выпуска1
DOI
СостояниеОпубликовано - 21 дек 2020
Событие13th International Conference on Computer-Aided Technologies in Applied Mathematics, ICAM 2020 - Tomsk, Российская Федерация
Продолжительность: 7 сен 20209 сен 2020

Предметные области ASJC Scopus

  • Physics and Astronomy(all)

Fingerprint Подробные сведения о темах исследования «About proof-search in intuitionistic natural deduction calculus using partial Skolemization». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать