еНаука - преглед
Преглед према Аутор Harland, James
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2013 | A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules | Lutovac, Tatjana   ; Harland, James | Научни чланак | 22M22 - Међународни часопис категорије M22 |