Browsing by Author Jamnik, Mateja
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 1-Jan-2003 | Learning strategies for mechanised building of decision procedures | Jamnik, Mateja; Janičić, Predrag | M33 |
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 1-Jan-2003 | Learning strategies for mechanised building of decision procedures | Jamnik, Mateja; Janičić, Predrag | M33 |