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):
Displayed 6 items.
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← 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)