Pages that link to "Item:Q1150266"
From MaRDI portal
The following pages link to Social processes and proofs of theorems and programs (Q1150266):
Displaying 4 items.
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- A probabilistic remark on algebraic program testing (Q1253894) (← links)
- Sharpening constraint programming approaches for bit-vector theory (Q2011567) (← links)
- The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian (Q4995608) (← links)