Empirical explorations of the geometry theorem machine
- H. Gelernter
- J.R. Hansen
- et al.
- 1960
- Western IRE-AIEE-ACM 1960
Publications
9264 results for Computer Science
Computers of the future
- Rex Rice
- 1959
- Eastern-IRE-AIEE-ACM 1959
A fortran-compiled list-processing language
- H. Gelernter
- J.R. Hansen
- et al.
- 1959
- ACM National Meeting 1959
Simulation of human problem-solving
- W.G. Bouricius
- J.M. Keller
- 1959
- Western IRE-AIEE-ACM 1959
The role of digital computers in the dynamic optimization of chemical reactions
- R.E. Kalman
- R.W. Koepcke
- 1959
- Western IRE-AIEE-ACM 1959
A program to draw multilevel flow charts
- Lois M. Haibt
- 1959
- Western IRE-AIEE-ACM 1959
On optimal computer control
- J.E. Bertram
- P.E. Sarachik
- 1959
- IRE Transactions on Automatic Control
Control system analysis and design via the second method of lyapunov: (I) continuous-time systems (II) discrete time systems
- R.E. Kalman
- J.E. Bertram
- 1959
- IRE Transactions on Automatic Control
On the Characteristics of Error-Correcting Codes
- Robert Chien
- 1959
- IRE Transactions on Information Theory
General approach to control theory based on the methods of lyapunov
- R.E. Kalman
- J.E. Bertram
- 1959
- IRE Transactions on Automatic Control