Contexts in Mathematical Reasoning and Computation Conferences

authors

• Farmer, William Michael
• Guttman, Joshua D
• Thayer, F Javier

status

• published 

publication date

• January 1995

has subject area

• 0102 Applied Mathematics (FoR)
• 0103 Numerical and Computational Mathematics (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• General Mathematics (Science Metrix)

published in

• Journal of Symbolic Computation  Journal

presented at event

• Conference on Design and Implementation of Symbolic Computation Systems (DISCO)  Conference

keywords

• Computer Science
• Computer Science, Theory & Methods
• Mathematics
• Mathematics, Applied
• Physical Sciences
• SYSTEM
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1006/jsco.1995.1012

start page

• 201

end page

• 216

volume

• 19

issue

• 1-3