Резултати

еНаука >  Резултати >  Two Normalizations for Natural Deductions in Sequent Style
Назив: Two Normalizations for Natural Deductions in Sequent Style
Аутори: Borisavljevic, Mirjana P
Година: 2019
Публикација: JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
ISSN: 2055-3706 Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 6 br. 7 str. 1187-1222
WoS-ID: 000519571900001
URI: https://enauka.gov.rs/handle/123456789/992294
Пројекат: Ministry of Education, Science and Technological Development of the Republic of Serbia [174026]
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.