An experiment in automatic verification of programs
- G.M. Weinberg
- G.L. Gressett
- 1963
- CACM
Paper
Publications
24841 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
Conference paperStructural effects of ionizing radiation in ferroelectric Rochelle salt
- Henri Boutin
- B.C. Frazer
- et al.
- 1963
- Journal of Physics and Chemistry of Solids
PaperFormulas for integrals of products of associated legendre or laguerre functions
- James Miller
- 1963
- Mathematics of Computation
PaperAnalysis of linear distributed systems with random parameters and inputs
- F. Tung
- P.K.C. Wang
- 1963
- Journal of the Franklin Institute
PaperCharge transfer controlled surface interactions between oxygen and CdSe films
- G.A. Somorjai
- 1963
- Journal of Physics and Chemistry of Solids
PaperOn the asymptotic behavior of the number of trials necessary to complete a set with random selection
- Robert King Brayton
- 1963
- J. Math. Anal. Appl.
PaperEquations and Tables for Analyzing Solid‐state Reaction Kinetics
- EDWARD A. GIESS
- 1963
- JACerS
PaperAnelasticity and stress-induced ordering of point defects in crystals
- A.S. Nowick
- W.R. Heller
- 1963
- Advances in Physics
PaperOn the possibility of observing a Bose-Einstein condensation of excitons in CdS and CdSe
- R.C. Casella
- 1963
- Journal of Physics and Chemistry of Solids
Paper