Pages that link to "Item:Q5927984"
From MaRDI portal
The following pages link to Goals and benchmarks for automated map reasoning (Q5927984):
Displaying 6 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)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- (Q4415070) (← links)
- Layered map reasoning (Q4923516) (← links)
