The following pages link to (Q3690194):
Displayed 11 items.
- Synthesis and equivalence of concurrent systems (Q1105355) (← links)
- The power of temporal proofs (Q1118578) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Fuzzy shadows (Q1302243) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Sequential and data flow models of processing (Q1324396) (← links)
- Proximity measures for terms based on fuzzy neighborhoods in document sets. (Q1427949) (← links)
- Proof by analogy in mural (Q1898818) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Generalizations of multisets and rough approximations (Q3156887) (← links)
- NOTION OF FUZZY IC-BAGS (Q4819225) (← links)