Results
| Title: | Classical logic proofs' essence and diagrammatic computation | Authors: | Žunić, Dragiša   ; Pierre Lescanne |
Issue Date: | 2011 | Publication: | AIP Conference Proceedings ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics | Publisher: | Greece | Type: | Conference Paper | ISBN: | 978-0-7354-0956-9  Search Idenfier |
Collation: | str. 792-797 | URI: | https://enauka.gov.rs/handle/123456789/516391 | URL: | http://icnaam.org/icnaam_2011/index.htm | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.