Conference
Realms: A Structure for Consolidating Knowledge about Mathematical Theories.
Authors
Carette J; Farmer WM; Kohlhase M
Editors
Watt SM; Davenport JH; Sexton AP; Sojka P; Urban J
Series
Lecture Notes in Computer Science
Volume
8543
Pagination
pp. 252-266
Publisher
Springer
Publication Date
January 1, 2014
ISBN-13
978-3-319-08433-6
Conference proceedings
CICM