The following pages link to On a cultural gap (Q1071498):
Displaying 5 items.
- A predicate transformer for progress (Q909441) (← links)
- Computer programs and mathematical proofs (Q1181864) (← links)
- Social processes, program verification and all that (Q3643359) (← links)
- Informatique et mathématiques. (Computer science and mathematics) (Q3704879) (← links)
- Three Debates about Computing (Q5326387) (← links)