Pages that link to "Item:Q958360"

The following pages link to Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings (Q958360):

Displayed 3 items.

• Formal Proof: Reconciling Correctness and Understanding (Q3637280) ‎ (← links)
• A Review of Mathematical Knowledge Management (Q3637281) ‎ (← links)
• Integrating Web Services into Active Mathematical Documents (Q3637285) ‎ (← links)