The following pages link to (Q5559213):
Displaying 10 items.
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others (Q408326) (← links)
- On classifying abduction (Q898774) (← links)
- Foliated semantic networks: Concepts, facts, qualities (Q1202680) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Economists' models of learning (Q1841181) (← links)
- Reasoning with ordered binary decision diagrams (Q1878409) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- Was Lewis Carroll an Amazing Oppositional Geometer? (Q2963949) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- A CHOREOGRAPHIC ROBOT VISION MODEL (Q4136627) (← links)