Peter Naur

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3460852	2016-01-08	Paper
Knowing and the mystique of logic and rules	1996-08-19	Paper
Proof versus formalization	1995-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4003377	1993-01-23	Paper
Thinking and Turing's test	1986-01-01	Paper
Formalization in program development	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4096399	1976-01-01	Paper
Modified Report on the Algorithmic Language ALGOL 60	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134930	1975-01-01	Paper
An experiment on program development	1972-01-01	Paper
Programming by action clusters	1969-01-01	Paper
Features of the gier algol 4 system	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5563099	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5528165	1965-01-01	Paper
Automatic grading of students' ALGOL programming	1964-01-01	Paper
Using machine code within an algol system	1964-01-01	Paper
Revised report on the algorithmic language ALGOL 60	1963-01-01	Paper
The design of the GIER ALGOL compiler Part I	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3290936	1962-01-01	Paper
A storage allocation scheme for ALGOL 60	1961-01-01	Paper
A storage allocation scheme for ALGOL 60	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3233124	1956-01-01	Paper
Computation of Special Perturbations by an Electronic Calculator	1951-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Naur