Pages that link to "Item:Q625111"
From MaRDI portal
The following pages link to A science of operations. Machines, logic and the invention of programming. (Q625111):
Displaying 9 items.
- Turing's 1949 paper in context (Q2011633) (← links)
- History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting) (Q2232324) (← links)
- Assembling a prehistory for formal methods: a personal view (Q2280210) (← links)
- Towards a Historical Notion of ‘Turing—the Father of Computer Science’ (Q2963951) (← links)
- Pāṇini's Grammar and Modern Computation (Q2963983) (← links)
- Types in Programming Languages, Between Modelling, Abstraction, and Correctness (Q3188252) (← links)
- Mathematics and Mechanical Computation (Q4972858) (← links)
- The Mathematical Origins of Modern Computing (Q4972859) (← links)
- Did Turing stand on Gödel's shoulders? (Q6169862) (← links)
