Pages that link to "Item:Q1273575"

The following pages link to Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA '98. Sozopol, Bulgaria, September 21--23, 1998. Proceedings (Q1273575):

Displayed 3 items.

• Computer supported mathematics with \(\Omega\)MEGA (Q865650) ‎ (← links)
• Proof planning with multiple strategies (Q2389631) ‎ (← links)
• Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) ‎ (← links)