Pages that link to "Item:Q951681"
From MaRDI portal
The following pages link to Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings (Q951681):
Displaying 9 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)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← 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)
- NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454) (← links)
- MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
- Sine Qua Non for Large Theory Reasoning (Q5200032) (← links)