Conference
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study.
Authors
Carette J; Farmer WM
Editors
Geuvers H; England M; Hasan O; Rabe F; Teschke O
Series
Lecture Notes in Computer Science
Volume
10383
Pagination
pp. 9-24
Publisher
Springer
Publication Date
2017
ISBN-13
978-3-319-62074-9
Conference proceedings
CICM