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 |
Issue Date | Title | Author(s) | Rank |
---|---|---|---|
1-Jan-2003 | Learning strategies for mechanised building of decision procedures | Jamnik, Mateja; Janičić, Predrag |