Pages that link to "Item:Q485837"

The following pages link to Synthesis of list algorithms by mechanical proving (Q485837):

Displaying 1 item.

• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)