Pages that link to "Item:Q2250560"
From MaRDI portal
The following pages link to Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings (Q2250560):
Displaying 8 items.
- 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)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26--31, 2021. Proceedings (Q2042067) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (Q2819263) (← links)
- Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5--8, 2023. Proceedings (Q6090937) (← links)
- Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction (Q6487292) (← links)