Резултати

еНаука >  Резултати >  Proof Simplification in the Framework of Coherent Logic
Назив: Proof Simplification in the Framework of Coherent Logic
Аутори: Marinković, Vesna N.  
Година: 2015
Публикација: COMPUTING AND INFORMATICS
ISSN: 1335-9150 Computing and Informatics Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 34 br. 2 str. 337-366
WoS-ID: 000361869000003
URI: https://enauka.gov.rs/handle/123456789/535299
Пројекат: Serbian Ministry of Education, Science and Technological Development [174021]
Swiss National Science Foundation [SCOPES IZ73Z0_127979/1]
Извор метаподатака: Migracija
М-категорија: 
23M23 - Међународни часопис категорије M23

Пронађи DOI

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