APA:
Sarma, Gopal P., Hay, Nick J. (2017). Robust computer algebra, theorem proving, and oracle AI.
Informatica (Ljubljana), volume 41, issue 4, str. 451-461.
URN:NBN:SI:DOC-U9EQ53I4 from http://www.dlib.si
MLA:
Sarma, Gopal P., Hay, Nick J.. "Robust computer algebra, theorem proving, and oracle AI."
Informatica (Ljubljana) volume 41. issue 4 (2017) str. 451-461.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-U9EQ53I4>