Conference
A New Style of Mathematical Proof.
Authors
Farmer WM
Editors
Davenport JH; Kauers M; Labahn G; Urban J
Series
Lecture Notes in Computer Science
Volume
10931
Pagination
pp. 175-181
Publisher
Springer
Publication Date
January 1, 2018
ISBN-13
978-3-319-96417-1
Conference proceedings
ICMS