𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatic semantics of R-schemas and verification of graphic programs

✍ Scribed by I. V. Kasatkina; A. L. Kovalev; S. V. Ershov

Publisher
Springer US
Year
1990
Tongue
English
Weight
584 KB
Volume
26
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computer programs for nucleic acids stud
Computer programs for nucleic acids studies: Atomic coordinates of helices and their graphic display
✍ Lou S Kan; James R Kast; Daniel Y Ts'o; Paul O.P Ts'o πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science βš– 900 KB

For the purpose of calculation of NMR and other physicochemical properties of nucleic acids, a computer program in FOR-TRAN language has been written. This program provides the printout of the Cartesian and cylindrical coordinates of 'all atoms of a double-stranded helix of nucleic acid in either A,