Pages that link to "Item:Q428512"
From MaRDI portal
The following pages link to Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26--29, 2012. Proceedings (Q428512):
Displaying 4 items.
- Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016. Proceedings (Q295834) (← links)
- Special issue: Selected papers based on the presentations at the 5th international joint conference on automated reasoning (IJCAR), Edingurgh, UK, July 2010 (Q654844) (← links)
- Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings (Q2165526) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)