The following pages link to (Q2847391):
Displaying 4 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Automated programming, symbolic computation, machine learning: my personal view (Q6059219) (← links)
