Pages that link to "Item:Q295834"
From MaRDI portal
The following pages link to Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016. Proceedings (Q295834):
Displaying 3 items.
- Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26--29, 2012. Proceedings (Q428512) (← links)
- Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings (Q2165526) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)