The following pages link to (Q2766804):
Displayed 4 items.
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)