Rezultati

eNauka >  Rezultati >  Classical logic proofs' essence and diagrammatic computation
Naziv: Classical logic proofs' essence and diagrammatic computation
Autori: Žunić, Dragiša  ; Pierre Lescanne
Godina: 2011
Publikacija: AIP Conference Proceedings ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics
Izdavač: Greece
Tip rezultata: Konferencijski rad
ISBN: 978-0-7354-0956-9 Pretraži identifikator
Kolacija: str. 792-797
URI: https://enauka.gov.rs/handle/123456789/516391
URL: http://icnaam.org/icnaam_2011/index.htm
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.