Резултати
Назив: | Classical logic proofs' essence and diagrammatic computation | Аутори: | Žunić, Dragiša ; Pierre Lescanne | Година: | 2011 | Публикација: | AIP Conference Proceedings ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics | Издавач: | Greece | Тип резултата: | Конференцијски рад | ISBN: | 978-0-7354-0956-9 Претражи идентификатор | Колација: | str. 792-797 | URI: | https://enauka.gov.rs/handle/123456789/516391 | URL: | http://icnaam.org/icnaam_2011/index.htm | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.