Pages that link to "Item:Q592091"
From MaRDI portal
Displaying 3 items.
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← 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)