United Kingdom (GB)

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

ETA(3) AND ETA(6) BRIDGING CATIONS IN THE N,N,N',N'',N''-PENTAMETHYLDIETHYLENETRIAMINE-SOLVATED COMPLEXES OF BENZYLPOTASSIUM AND BENZYLRUBIDIUM - AN X-RAY, NMR, AND MO STUDY (1994) Hoffmann D, Bauer W, Hampel F, van Eikema Hommes N, Schleyer P, Otto P, Pieper U, et al. Journal article Lagrange-Galerkin Approximation of Advection-Dominated Nonlinear Contaminant Transport in Porous Media (1994) Knabner P, Barrett JW, Kappmeier H Book chapter / Article in edited volumes Ω-MKRP: A proof development environment (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article Interaction between bimodal volcanism, fluvial sedimentation and basin development in the Permo-Carboniferous Saar-Nahe Basin (south-west Germany) (1994) Stollhofen H, Stanistreet IG Journal article, Original article Keim: A toolkit for automated deduction (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article A mechanization of strong Kleene logic for partial functions (1994) Kerber M, Kohlhase M Conference contribution, Original article Adapting methods to novel tasks in proof planning (1994) Huang X, Kerber M, Kohlhase M, Richts J Conference contribution, Original article VIBRATIONS OF HYDROGEN-BONDS IN HYDROGENDISULFITO AND HYDROGENSULFITO COMPLEXES (1992) Breitinger D, Breiter R, Raidel M, Bauer G, Tomkinson J Journal article, Original article Short-Circuit and Earth Fault Currents in Grids, Substations and Power Stations (1985) Hosemann G, Ford G, Damstra G Journal article
‹ 1 ... 801 802 803 ›