Search

Your search keyword '"A. Gengelbach"' showing total 377 results

Search Constraints

Start Over You searched for: Author "A. Gengelbach" Remove constraint Author: "A. Gengelbach"
377 results on '"A. Gengelbach"'

Search Results

1. The role of core excitations in the structure and decay of the 16+ spin-gap isomer in 96Cd

2. Evaluating innovation in transdisciplinary sustainability education: TRANSECTS’ international learning labs

3. Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading

4. A Mechanised Semantics for HOL with Ad-hoc Overloading

6. Isomers and high-spin structures in the N=81 isotones Xe 135 and Ba 137

7. Isomers and high-spin structures in the N=81 isotones Xe135 and Ba137

10. Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading

11. High-spin structure of Xe 134

14. Towards Invasive Mussel Genetic Biocontrol: Approaches, Challenges, and Perspectives

17. Diversity of Gene Expression in Adenocarcinoma of the Lung

19. Fluorescent imaging of protein myristoylation during cellular differentiation and development

20. A Verified Cyclicity Checker: For Theories with Overloaded Constants

22. Deterministic Genetic Barcoding for Multiplexed Behavioral and Single-Cell Transcriptomic Studies

23. Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading

24. A Verified Cyclicity Checker For Theories with Overloaded Constants

27. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

28. Collectivity in Neutron-Rich Erbium Isotopes

30. Antigenicity testing by immunohistochemistry after tissue oxidation

32. Towards Correctly Checking for Cycles in Overloaded Definitions

37. Study of ground and excited state decays in N ≈ Z Ag nuclei

38. Properties of γ -decaying isomers in the Sn100 region populated in fragmentation of a Xe124 beam

39. Toward the limit of nuclear binding on the N=Z line : Spectroscopy of Cd 96

41. The effects of copper deficiency with or without high dietary iron or molybdenum on immune function of cattle

42. Effects of copper deficiency and copper deficiency coupled with high dietary iron or molybdenum on phagocytic cell function and response of calves to a respiratory disease challenge

43. Proof-theoretic Conservativity for HOL with Ad-hoc Overloading

44. A Mechanised Semantics for HOL with Ad-hoc Overloading

48. Effect of dietary copper, iron, and molybdenum on growth and copper status of beef cows and calves

50. Toward the limit of nuclear binding on the N=Z line: Spectroscopy of Cd 96

Catalog

Books, media, physical & digital resources