Contexts in mathematical reasoning and computation

• Authors:

• William M. Farmer;Joshua D. Guttman;F. Javier Thayer

• Affiliations:

• -;-;-

• Venue:
• Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
• Year:
• 1995