eNauka - pregled
Pregled prema Autor M. Winikoff
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2000 | Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic | J. Harland; T. Lutovac   ; M. Winikoff | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |