Robust computer algebra, theorem proving, and oracle AI - Sarma, Gopal P. (Informatica (Ljubljana), 2017)
Keywords: computer science; računalništvo; umetna inteligenca