Резултати

еНаука >  Резултати >  Classical logic proofs' essence and diagrammatic computation
Назив: 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
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.