The following pages link to (Q2724155):
Displaying 9 items.
- Finite-state automata in information technologies (Q464949) (← links)
- Mathematical Logic for Computer Science (Q2894076) (← links)
- The HeKatE methodology. Hybrid engineering of intelligent systems (Q2930572) (← links)
- (Q3125203) (← links)
- (Q4023210) (← links)
- (Q4855375) (← links)
- <i>Functional Pearl</i>Deduction for functional programmers (Q4895558) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
- Mathematical logic. Foundations for information science (Q5920721) (← links)