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):
Displayed 4 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)