Rezultati
| Naziv: | Two Normalizations for Natural Deductions in Sequent Style | Autori: | Borisavljevic, Mirjana P | Godina: | 2019 | Publikacija: | JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS | ISSN: | 2055-3706  Pretraži identifikator |
Tip rezultata: | Naučni članak | Kolacija: | vol. 6 br. 7 str. 1187-1222 | WoS-ID: | 000519571900001 | URI: | https://enauka.gov.rs/handle/123456789/992294 | Projekat: | Ministry of Education, Science and Technological Development of the Republic of Serbia [174026] | Izvor metapodataka: | (Preuzeto iz Nasi u WoS) | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.