The following pages link to (Q4870821):
Displaying 4 items.
- Logical and set calculations in the framework of geometrical informatics paradigm (Q300308) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)