Results
| Title: | Proof Simplification in the Framework of Coherent Logic | Authors: | Marinković, Vesna N.   |
Issue Date: | 2015 | Publication: | COMPUTING AND INFORMATICS | ISSN: | 1335-9150 Computing and Informatics Search Idenfier |
Type: | Article | Collation: | vol. 34 br. 2 str. 337-366 | WoS-ID: | 000361869000003 | URI: | https://enauka.gov.rs/handle/123456789/535299 | Project: | Serbian Ministry of Education, Science and Technological Development [174021] Swiss National Science Foundation [SCOPES IZ73Z0_127979/1] |
Metadata source: | Migracija | M-category: | 23M23 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.