eNauka - pregled
Pregled prema Autor Harland, James
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2013 | A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules | Lutovac, Tatjana   ; Harland, James | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |