On the complexity of regular resolution and the Davis-Putnam procedure
- Zvi Galil
- 1977
- Theoretical Computer Science
Paper
Publications
24858 results for Exploratory Science
Determination of the c(2 × 2) structure of sulfur on Fe{001} by low-energy electron diffraction
- K.O. Legg
- F. Jona
- et al.
- 1977
- Surface Science
PaperThe inverse M-matrix problem
- R. Willoughby
- 1977
- Linear Algebra and Its Applications
PaperScattered wave calculations of monomers and dimers of tetraselenafulvalene (tsef)
- F. Herman
- 1977
- Physica Scripta
PaperGalvanomagnetic effects in polymeric sulfur nitride (SN)x crystals
- W. Beyer
- W.D. Gill
- et al.
- 1977
- Solid State Communications
PaperOn the Line Graph of the Complete Tripartite Graph
- A.J. Hoffman
- Basharat A. Jamil
- 1977
- Linear and Multilinear Algebra
PaperScalar and vector iteration
- Stephen L. Bloom
- Susanna Ginali
- et al.
- 1977
- Journal of Computer and System Sciences
PaperSuperconducting properties of the crystalline polymer (sn)3
- L.J. Azevedo
- W.G. Clark
- 1977
- Ferroelectrics
PaperSoft optical phonon in ferroelastic BiVO4
- A. Pinczuk
- Gerald Burns
- et al.
- 1977
- Solid State Communications
PaperAppearance potential spectroscopy and magnetism in 3d-metals
- K. Wandelt
- G. Ertl
- et al.
- 1977
- Solid State Communications
Paper