Rezultati
| Naziv: | Proof Simplification in the Framework of Coherent Logic | Autori: | Marinković, Vesna N.   |
Godina: | 2015 | Publikacija: | COMPUTING AND INFORMATICS | ISSN: | 1335-9150 Computing and Informatics Pretraži identifikator |
Tip rezultata: | Naučni članak | Kolacija: | vol. 34 br. 2 str. 337-366 | WoS-ID: | 000361869000003 | URI: | https://enauka.gov.rs/handle/123456789/535299 | Projekat: | Serbian Ministry of Education, Science and Technological Development [174021] Swiss National Science Foundation [SCOPES IZ73Z0_127979/1] |
Izvor metapodataka: | Migracija | M-kategorija: | 23M23 - Međunarodni časopis kategorije M23 |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.