Pages that link to "Item:Q958360"
From MaRDI portal
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):
Displaying 10 items.
- Foreword to the special issue on authoring, digitalization and management of mathematical knowledge (Q626909) (← links)
- Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5--10, 2010. Proceedings (Q983521) (← links)
- Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integr (Q1613677) (← links)
- Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4--7, 2017 (Q1622659) (← links)
- Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers (Q1896995) (← links)
- Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings (Q2250560) (← links)
- 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)
- Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5--8, 2023. Proceedings (Q6090937) (← links)
