๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants

โœ Scribed by Ludwik Borkowski

Publisher
Springer Netherlands
Year
1958
Tongue
English
Weight
507 KB
Volume
8
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Calculation of NMR shielding tensors bas
Calculation of NMR shielding tensors based on density functional theory and a scalar relativistic Pauli-type Hamiltonian. The application to transition metal complexes
โœ Georg Schreckenbach; Tom Ziegler ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 253 KB ๐Ÿ‘ 2 views

This article deals with the calculation of the shielding tensor of nuclear magnetic ลฝ . resonance NMR spectroscopy based on a scalar relativistic two-component Pauli-type Hamiltonian. A complete formulation of the method within the framework of the gauge ลฝ . including atomic orbitals GIAO is given.