Pages that link to "Item:Q5941850"

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)