[ACM Press the 1st ACM SIGPLAN International Workshop - Barcelona, Spain (2017.06.18-2017.06.18)] Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages - MAPL 2017 - Verified perceptron convergence theorem
Murphy, Charlie, Gray, Patrick, Stewart, GordonYear:
2017
Language:
english
DOI:
10.1145/3088525.3088673
File:
PDF, 281 KB
english, 2017