Conference
Meaning Formulas for Syntax-Based Mathematical Algorithms.
Authors
Farmer WM
Editors
Kutsia T; Voronkov A
Series
EPiC Series in Computing
Volume
30
Pagination
pp. 10-11
Publisher
EasyChair
Publication Date
January 1, 2014
Conference proceedings
SCSS