Rezultati

eNauka >  Rezultati >  Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Naziv: Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Autori: Zunic, Dragisa  
Godina: 2007
Tip rezultata: Ostalo
URI: https://enauka.gov.rs/handle/123456789/875152
URL: https://theses.hal.science/tel-00265549
Izvor metapodataka: (Preuzeto iz ORCID-a) Žunić, Dragiša
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.