Pages that link to "Item:Q5927984"

The following pages link to Goals and benchmarks for automated map reasoning (Q5927984):

Displayed 4 items.

• Compiling dyadic first-order specifications into map algebra (Q1870581) ‎ (← links)
• ER modelling from first relational principles (Q1884937) ‎ (← links)
• Three-variable statements of set-pairing (Q1885036) ‎ (← links)
• (Q4415070) ‎ (← links)