The following pages link to (Q4174205):
Displaying 4 items.
- Semantics of algorithmic languages (Q760200) (← links)
- A bridge between constructive logic and computer programming (Q1179711) (← links)
- The PRIZ system and propositional calculus (Q3316619) (← links)
- Formal deduction with transfinite induction and its transformation for easier program synthesis (Q3678663) (← links)