Rezultati

eNauka >  Rezultati >  Two ways of general proof theory
Naziv: Two ways of general proof theory
Autori: Došen, Kosta  
Godina: 2013
Publikacija: Second Conference on Proof-Theoretic Semantics
Izdavač: Eberhard Karls Universitaet Tuebingen, Nemačka
Tip rezultata: Konferencijski rad
URI: https://enauka.gov.rs/handle/123456789/554503
URL: http://ls.informatik.uni-tuebingen.de/PTS/pts.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.