Browsing eNauka
Browsing by Author M. Winikoff
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2000 | Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic | J. Harland; T. Lutovac ; M. Winikoff | Article | 21M21 |