еНаука - преглед
Преглед према Аутор M. Winikoff
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2000 | Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic | J. Harland; T. Lutovac   ; M. Winikoff | Научни чланак | 21M21 - Рад у врхунском међ. часопису |