United Kingdom (GB)

Configural frequency analysis of dependent samples for intra-patient treatment comparisons (1997) Stemmler M, Hammond S Journal article ΩMEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Omega MEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Kerber M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Finite Element Approximation of the Transport of Reactive Solutes in Porous Media. Part 1: Error Estimates for Nonequilibrium Adsorption Processes (1997) Barrett JW, Knabner P Journal article, Original article Sheet Metal 1996: proceedings of the 4th International conference (1996) Kals H, Shirvani B, Singh U, Geiger M Edited Volume Wild Cantor attractors exist (1996) Bruin HP, Keller G, Nowicki T, van Strien S Journal article, Original article Integrating computer algebra with proof planning (1996) Kerber M, Kohlhase M, Sorge V Conference contribution, Original article The proof development environment Ω-MKRP (1996) Huang X, Kerber M, Kohlhase M, Melis E, Richts J, Siekmann J Journal article, Original article Analysis and Finite Element Approximation of Transport of Reactive Solutes in Porous Media (1995) Barrett JW, Knabner P Conference contribution DIFFERENT PATTERNS OF HYPERALGESIA INDUCED BY EXPERIMENTAL INFLAMMATION IN HUMAN SKIN (1994) Kilo S, Schmelz M, Koltzenburg M, Handwerker HO Journal article, Original article