Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2014
Cambridge University Press
“... machine learning and computer vision to theorem proving and software verification, have defined their own...”