The following pages link to Peter Naur (Q579953):
Displaying 24 items.
- Thinking and Turing's test (Q579954) (← links)
- (Q1131185) (redirect page) (← links)
- Revised report on the algorithmic language ALGOL 60 (Q1131189) (← links)
- Formalization in program development (Q1169283) (← links)
- Proof versus formalization (Q1343048) (← links)
- Knowing and the mystique of logic and rules (Q1920150) (← links)
- (Q3233124) (← links)
- (Q3290936) (← links)
- (Q3460852) (← links)
- (Q4003377) (← links)
- (Q4096399) (← links)
- Modified Report on the Algorithmic Language ALGOL 60 (Q4105749) (← links)
- (Q4134930) (← links)
- Automatic grading of students' ALGOL programming (Q5339781) (← links)
- (Q5528165) (← links)
- Features of the gier algol 4 system (Q5539441) (← links)
- (Q5563099) (← links)
- Programming by action clusters (Q5578560) (← links)
- An experiment on program development (Q5663362) (← links)
- The design of the GIER ALGOL compiler Part I (Q5725066) (← links)
- Using machine code within an algol system (Q5730472) (← links)
- Computation of Special Perturbations by an Electronic Calculator (Q5808396) (← links)
- A storage allocation scheme for ALGOL 60 (Q5895979) (← links)
- A storage allocation scheme for ALGOL 60 (Q5896017) (← links)