Pages that link to "Item:Q2351555"
From MaRDI portal
The following pages link to Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13--17, 2015, Proceedings (Q2351555):
Displaying 5 items.
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26--31, 2021. Proceedings (Q2042067) (← links)
- Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings (Q2250560) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5--8, 2023. Proceedings (Q6090937) (← links)