Pages that link to "Item:Q5495931"

The following pages link to Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931):

Displayed 4 items.

• Towards an intelligent and dynamic geometry book (Q1701659) ‎ (← links)
• Automated deduction and knowledge management in geometry (Q1995808) ‎ (← links)
• Taxonomies of geometric problems (Q2334578) ‎ (← links)
• A survey on retrieval of mathematical knowledge (Q2364882) ‎ (← links)