Прегледање према Аутор Žunić, D.
Приказивање резултата 1 do 1 od 1
Датум издавања | Наслов | Аутор(и) |
---|---|---|
1-авг-2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Žunić, D. |