Wolska, Magdalena; Vo, Bao Quoc; Tsovaltzi, Dimitra et al.
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem ProvingLino, Maria Teresa; Xavier, Maria Francisca; Ferreira, Fátima; Costa, Rute; Silva, Raquel (Hrsg). Proceedings of the Fourth International Conference on Language Resources and Evaluation : LREC’04 ; 26 May - 28 May 2004, Lisbon, Portugal. Lisbon: European Language Resources Association (ELRA) 2004 S. 1007 - 1010
Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin et al.
Assertion-level Proof Representation with Under-SpecificationElectronic Notes in Theoretical Computer Science : ENTCS. Bd. 93. Amsterdam: Elsevier 2004 S. 5 - 23
Tsovaltzi, Dimitra; Horacek, Helmut; Fiedler, Armin
Building Hint Specifications in an NL Tutorial System for Mathematics.Barr, Valerie; Markov, Zdravko (Hrsg). FLAIRS. Menlo Park, Calif.: AAAI Press 2004 S. 929 - 934
Neuhäuser, Markus; Poulin, Robert
Comparing Parasite Numbers Between Samples of HostsJournal of parasitology : the journal of the American Society of Parasitologists. Bd. 90. H. 4. Lawrence, Kan.: American Society of Parasitologists 2004 S. 689 - 691
Neuhäuser, Markus
Einige neue Methoden aus der BiometrieTumorDiagnostik & Therapie. Bd. 25. H. 4. Stuttgart: Thieme 2004 S. 160 - 163
Reinemann, Holger
Exit-Pipeline prall gefüllt - Verkaufsstrategien von BeteiligungsgesellschaftenVenture-Capital-Magazin. H. 12. 2004 S. 16 - 17
Kieß, Wolfgang; Füßler, Holger; Widmer, Jörg et al.
Hierarchical location service for mobile ad-hoc networksMobile computing and communications review : MC2R ; a publication of the ACM Sigmobile. Bd. 8. H. 4. New York: Association for Computing Machinery (ACM) 2004 S. 47 - 58
Neuhäuser, Markus; Büning, Herbert; Hothorn, Ludwig
Maximum Test versus Adaptive Tests for the Two-Sample Location ProblemJournal of Applied Statistics. Bd. 31. H. 2. Abingdon [u.a.]: Taylor & Francis 2004 S. 215 - 227
Basermann, Achim; Cortial-Goutaudier, Fabienne; Jaekel, Uwe et al.
Parallel Solution Techniques for Sparse Linear Systems in Circuit SimulationSchilders, Wilhelmus H. (Hrsg). Scientific Computing in Electrical Engineering : Proceedings of the SCEE-2002 Conference held in Eindhoven. Berlin: Springer 2004 S. 112 - 119 (Mathematics in industry ; 4)
Thieme, Lutz; Falk, Rüdiger
Qualitätsmanagement in der sportbezogenen Aus- und Weiterbildung an HochschulenTrosien, Gerhard (Hrsg). Personalentwicklung im Sportmanagement. 1. Aufl. Butzbach-Griedel: Afra-Verl. 2004 S. 61 - 78