An experiment in automatic verification of programs
- G.M. Weinberg
- G.L. Gressett
- 1963
- CACM
Publications
24811 results for Exploratory Science
ADAM - A problem-oriented symbol processor
- A.P. Mullery
- R.F. Schauer
- et al.
- 1963
- AFIPS Spring Joint Computer Conference 1963
Gaseous Equilibria in the Germanium Iodine System
- R.F. Lever
- 1963
- JES
Estimation of the Shape and Scale Parameters of the Weibull Distribution
- M.V. Menon
- 1963
- Technometrics
Equations and Tables for Analyzing Solid‐state Reaction Kinetics
- EDWARD A. GIESS
- 1963
- JACerS
A dynamical theory of elastic dielectrics
- R.A. Toupin
- 1963
- International Journal of Engineering Science
The Thermoelectric Properties of Mixed Crystals of Mg2 GexSi1-x
- Daniel F. O'Kane
- 1963
- JES
Luminescence in ZnS, Se:Cu, Cl
- F.F. Morehead
- 1963
- Journal of Physics and Chemistry of Solids
Application of the uncertainty principle to electron scattering by phonons in solids
- T.N. Morgan
- 1963
- Journal of Physics and Chemistry of Solids
On the Choice of Binary Codes and Thresholds
- C. Freiman
- 1963
- Proceedings of the IEEE