Jaekel, Uwe; Slodička, Marián; Schumacher, Stephan
Well modeling and estimation of hydraulic parametersComputational Geosciences : Modeling, Simulation and Data Analysis. Bd. 1. H. 3-4. Amsterdam: Baltzer Science Publ. 1997 S. 317 - 331
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef et al.
Ωmega: Towards a mathematical assistantMcCune, William (Hrsg). Automated Deduction — CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Berlin: Springer 1997 S. 252 - 255 (Lecture Notes in Computer Science (LNCS) ; 1249)
Dimov, I.; Jaekel, U.; Vereecken, H.
A numerical approach for determination of sources in transport equationsComputers & Mathematics with Applications : an international journal. Bd. 32. H. 5. Amsterdam: Elsevier 1996 S. 31 - 42
Jaekel, Uwe; Georgescu, Adelina; Vereecken, Harry
Asymptotic analysis of nonlinear equilibrium solute transport in porous mediaWater Resources Research : WRR. Bd. 32. H. 10. New York: American Geophysical Union (AGU) 1996 S. 3093 - 3098
Wincheringer, Walter
Ein Verfahren zur reportbasierten Diagnose von technischen Maschinenstörungen in der InstandhaltungBerlin: Springer 1996 169 S.
Fiedler, Armin
Mikroplanungstechniken zur Präsentation mathematischer BeweiseSaarbrücken: Fachbereich Informatik; Universität des Saarlandes 1996 103 S.
Huang, Xiaorong; Fiedler, Armin
Paraphrasing and Aggregating Argumentative Texts Using Text StructureEighth International Natural Language Generation Workshop : INLG ; Herstmonceux Castle, Sussex, UK, June 12-15, 1996. o.A. 1996 S. 21 - 30
Huang, Xiaorong; Fiedler, Armin
Presenting Machine-Found ProofsMcRobbie, Michael A. (Hrsg). Automated deduction : proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)
Wincheringer, Walter
A Report-Based Diagnosis Process for Maintenance and Technical ServiceSchraft, Rolf D. (Hrsg). Flexible automation and intelligent manufacturing 1995 : proceedings of the 5. International FAIM Conference ; June 28 - 30, 1995. New York, NY: Begell House 1995 S. 1045 - 1054
Wincheringer, Walter
Case Based Knowledge Management in technical DiagnosisRao, B. K. N. (Hrsg). COMADEM 95 International : proceedings of the 8th International Congress on Condition Monitoring and Diagnostic Engineering Management, Queen's University, Kingston, Ontario, Canada, 26-28 June 1995. Kingston, Ont.: Queen's University 1995 S. 47 - 54