The following pages link to (Q2724155):
Displayed 4 items.
- Finite-state automata in information technologies (Q464949) (← links)
- The HeKatE methodology. Hybrid engineering of intelligent systems (Q2930572) (← links)
- <i>Functional Pearl</i>Deduction for functional programmers (Q4895558) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)