Home
Scholarly Works
The Formalization of Syntax-Based Mathematical...
Journal article
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
Authors
Farmer WM
Journal
CoRR, Vol. abs/1305.6052, ,
Publication Date
January 1, 2013
Associated Experts
William Michael Farmer
Professor, Faculty of Engineering
Visit profile
Contact the Experts team
Get technical help
or
Provide website feedback