The following pages link to (Q4193455):
Displaying 10 items.
- Criteria of theoreticity: bridging statement and non-statement view (Q907913) (← links)
- A Bayesian analysis of ratios of proportions in tree-structured experiments (Q1298997) (← links)
- Issues in the design of modeling languages for mathematical programming (Q1317152) (← links)
- Correctness of fixpoint transformations (Q1329743) (← links)
- Hereditarily finite sets and identity trees (Q1837193) (← links)
- On Comparability in a Topos (Q3743464) (← links)
- Domain theory for nonmonotonic functions (Q5096193) (← links)
- (Q5379656) (← links)
- Reformulations of measure differential inclusions and their closed graph property (Q5946978) (← links)
- A study of the metatheory of assertoric syllogistic (Q6054110) (← links)
