✦ LIBER ✦

The decision problem of provability logic with only one atom

✍ Scribed by Vítězslav Švejdar

Publisher: Springer
Year: 2003
Tongue: English
Weight: 161 KB
Volume: 42
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-003-0180-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Solution of a Mountain Pass Problem for

Solution of a Mountain Pass Problem for the Isomerization of a Molecule with One Free Atom

✍ Mathieu Lewin 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 182 KB

Problem of the influence of "strong" col

Problem of the influence of "strong" collisions of plasma electrons with hydrogen atom on the broadening of its spectral lines

✍ L. É. Pargamanik; M. D. Ginzburg 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 308 KB

Application of the Quantum Theory of Ato

Application of the Quantum Theory of Atoms in Molecules to Selected Physicochemical and Biophysical Problems: Focus on Correlation with Experiment

✍ Cherif F. Matta 📂 Article 📅 2003 🏛 John Wiley and Sons ⚖ 51 KB 👁 2 views

Application of the quantum theory of ato

Application of the quantum theory of atoms in molecules to selected physico-chemical and biophysical problems: Focus on correlation with experiment

✍ Chérif F. Matta 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB 👁 1 views

This article reviews how the quantum theory of atoms in molecules (QTAIM) can be used to predict experimental physico-chemical properties of molecules of biologic interest: the amino acids, the polycyclic aromatic hydrocarbons (PAH), and the opiates, for example, morphine and PEO. The predicted expe

Examining the effects of text-only and t

Examining the effects of text-only and text-and-visual instructional materials on the achievement of field-dependent and field-independent learners during problem-solving with modeling software

✍ Charoula Angeli; Nicos Valanides 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 202 KB