German Encounters of Logic and Programming (1948-1958), Featuring Three Readings of Turing Machines.
Maarten BullynckPublished in: IEEE Ann. Hist. Comput. (2021)
Keyphrases
- turing machine
- programming language
- logic programming
- modal logic
- automated reasoning
- information retrieval
- object oriented programming
- epistemic logic
- declarative programming
- data sets
- concurrent programming
- programming environments
- proof theory
- set theory
- classical logic
- programming course
- multi valued
- development environment
- artificial intelligence