Skip to contents

  3. Fischer, Günther [Composer] ; Wicki, Bernhard [Film director]; Wicki, Bernhard [Screenwriter]; Düren, Fred [Actor]; Schwarzkopf, Klaus [Actor]; Gudzuhn, Jörg [Actor]; Kłosiński, Edward [Videographer]; Kohlhaase, Wolfgang [Screenwriter]

    Die Grünstein-Variante (1 DVD-Video)

    Videos
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Walluf]: Fernsehjuwelen GmbH, [2019]

    Published in: Filmjuwelen ; Literatur- Juwelen der Filmgeschichte

  4. Würffel, Stefan Bodo [Editor]; Dost, Hans-Jörg [Other]; Kunert, Günter [Other]; Kohlhaase, Wolfgang [Other]; Walther, Joachim [Other]; Schweickert, Walter K. [Other]; Müller, Heiner [Other]; Müller, Inge [Other]; Schneider, Rolf [Other]; Rentzsch, Gerhard [Other]; Hermlin, Stephan [Other]; Rücker, Günther [Other]

    Hörspiele aus der DDR - [Originalausgabe]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Frankfurt am Main: Fischer-Taschenbuch-Verl., 1982

    Published in: Fischer-Taschenbücher ; 7031 ; Theater, Film, Funk, Fernsehen

  7. Kerber, Manfred [Author]; Huang, Xiaorong [Author]; Kohlhase, Michael [Author]; Melis, Erica [Author]; Nesmith, Dan [Author]; Richts, Jörn [Author]; Siekmann, Jörg [Author]

    Die Beweisentwicklungsumgebung Omega-MKRK

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999

  8. Huang, Xiaorong [Author]; Kerber, Manfred [Author]; Kohlhase, Michael [Author]; Melis, Erica [Author]; Nesmith, Dan [Author]; Richts, Jörn [Author]; Siekmann, Jörg [Author]

    OMEGA MKRP - A Proof Development Environment

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 1999

  11. Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Melis, Erica; Nesmith, Dan; Richts, Jörn; Siekmann, Jörg

    Die Beweisentwicklungsumgebung $\Omega$ -M krp

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Science and Business Media LLC, 1996

    Published in: Informatik - Forschung und Entwicklung

  14. Distelmaier, Felix; Huppke, Peter; Pieperhoff, Peter; Amunts, Katrin; Schaper, Jörg; Morava, Eva; Mayatepek, Ertan; Kohlhase, Jürgen; Karenfort, Michael

    JIMD Reports: Biotin-Responsive Basal Ganglia Disease: A Treatable Differential Diagnosis of Leigh Syndrome

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2013

    Published in: JIMD Reports

  15. Siekmann, Jörg; Hess, Stephan; Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fiedler, Armin; Horacek, Helmut; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Pollet, Martin; Sorge, Volker

    LΩUI: Lovely ΩMEGA User Interface

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 1999

    Published in: Formal Aspects of Computing

  16. Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker

    Automated Deduction—CADE-14: Ωmega: Towards a mathematical assistant

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 1997

    Published in: Automated Deduction—CADE-14

  17. Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen

    Automated Deduction—CADE-18: Proof Development with Ωmega

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2002

    Published in: Automated Deduction—CADE-18

  18. Tzschach, Andreas; Grasshoff, Ute; Beck-Woedl, Stefanie; Dufke, Claudia; Bauer, Claudia; Kehrer, Martin; Evers, Christina; Moog, Ute; Oehl-Jaschkowitz, Barbara; Di Donato, Nataliya; Maiwald, Robert; Jung, Christine; Kuechler, Alma; Schulz, Solveig; Meinecke, Peter; Spranger, Stephanie; Kohlhase, Jürgen; Seidel, Jörg; Reif, Silke; Rieger, Manuela; Riess, Angelika; Sturm, Marc; Bickmann, Julia; Schroeder, Christopher; [...]

    Next-generation sequencing in X-linked intellectual disability

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Science and Business Media LLC, 2015

    Published in: European Journal of Human Genetics

  19. Kohlhase, Jürgen; Taschner, Peter E.M.; Burfeind, Peter; Pasche, Bastian; Newman, Bill; Blanck, Christopher; Breuning, Martijn H.; ten Kate, Leo P.; Maaswinkel-Mooy, Petra; Mitulla, Beate; Seidel, Jörg; Kirkpatrick, Susan J.; Pauli, Richard M.; Wargowski, David S.; Devriendt, Koen; Proesmans, Willem; Gabrielli, Orazio; Coppa, Giovanni V.; Wesby–van Swaay, Eveline; Trembath, Richard C.; Schinzel, Albert A.; Reardon, William; Seemanova, Eva; Engel, Wolfgang

    Molecular Analysis of SALL1 Mutations in Townes-Brocks Syndrome

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 1999

    Published in: The American Journal of Human Genetics