Realization of a geometry-theorem proving machine
Computers & thought
Journal of the ACM (JACM)
Form and Content in Computer Science (1970 ACM turing lecture)
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Systematic Programming: An Introduction
Systematic Programming: An Introduction
PASCAL user manual and report
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
ACM SIGART Bulletin
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Chapter I: Notes on structured programming
Structured programming
Initial Report on a Lisp Programmer's Apprentice
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |