Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


4225 Treffer


× Publikationen
× Hochschule Koblenz



  • Neuhäuser, Markus
  • An Adaptive Location-Scale Test
  • Biometrical Journal : clinical trials, epidemiological methods, statistics in life sciences. Bd. 43. H. 7. Weinheim: Wiley-VCH 2001 S. 809 - 819







  • Fiedler, Armin
  • P.rex : An Interactive Proof Explainer
  • Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias (Hrsg). Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings. Berlin: Springer 2001 S. 416 - 420 (Lecture Notes in Computer Science (LNCS) ; 2083)

  • Fiedler, Armin
  • Dialog-driven Adaptation of Explanations of Proofs
  • Nebel, Bernhard (Hrsg). Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10. San Francisco, Calif.: Morgan Kaufman 2001 S. 1295 - 1300