Pages that link to "Item:Q5941850"
From MaRDI portal
The following pages link to Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings (Q5941850):
Displaying 8 items.
- Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016. Proceedings (Q295834) (← links)
- Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26--29, 2012. Proceedings (Q428512) (← 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)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8--10, 2022. Proceedings (Q2165526) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)