Starten Sie Ihre Suche...


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

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-0
Publikationen
Ergebnisse pro Seite:  10

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder

Applications of Theory Reasoning in Model Elimination

Peter Baumgartner; H.-J. Bürckert; Hubert Comon; Alan M. Frisch; Ulrich Furbach; Nil Murray; Uwe Petermann; Mark Stickel (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994 S. 7 - 14


Assel, Heinrich

Barth ist entlassen... : Emanuel Hirschs Rolle im Fall Barth und seine Briefe an Wilhelm Stapel

Zeitschrift für Theologie und Kirche : ZThK. Bd. 91. H. 4. Tübingen: Mohr Siebeck 1994 S. 445 - 475


Weber-Bockholdt, Petra

Beethovens Bearbeitungen britischer Lieder

München: Fink 1994 293 S. (Studien zur Musik ; 13)


Theis, Reiner

Bewegungsanalyse mit COMMOTO

Dietmar Schmidtbleicher;Alexander F. Müller (Hrsg). Leistungsdiagnostische und präventive Aspekte der Biomechanik: 2. Symposium der dsv-Sektion Biomechanik vom 15.-17.4.1993 in Frankfurt am Main. Bd. 59. Sankt Augustin: Academia 1994 S. 174 - 182


Tavernier, Ludwig

Biedermann-Arendst, Hermine (1855-1914)

Günter Meißner; Andreas Beyer; Bénédicte Savoy; Wolf Tegethoff (Hrsg). Allgemeines Künstlerlexikon (AKL): Die Bildenden Künstler aller Zeiten und Völker; Band 10, Berrettini - Bikkers. München: Saur 1994


Tavernier, Ludwig

Bigenwald, Leo (*1904)

Günter Meißner; Andreas Beyer; Bénédicte Savoy; Wolf Tegethoff (Hrsg). Allgemeines Künstlerlexikon (AKL): Die Bildenden Künstler aller Zeiten und Völker; Band 10, Berrettini - Bikkers. München: Saur 1994


Oehmichen, Manfred; König, Hans Günther

Biomechanik – Rekonstruktion

Lübeck: Schmidt-Römhild 1994 (Rechtsmedizinische Forschungsergebnisse)


Walther, Dirk; Schmidt, Andreas; Klettke, Thomas et al.

Bis(tetramethylbutynediol)nickel(0), the First Pure Monoalkyne Complex of Nickel and Its Chemistry

Angewandte Chemie : eine Zeitschrift der Gesellschaft Deutscher Chemiker. Bd. 33. H. 13. Weinheim: Wiley 1994 S. 1373 - 1376


Wagner, T.

Brutzeitliches Nahrungsspektrum des Raubwürgers Lanius excubitor in Südwestfalen

Die Vogelwelt. Bd. Die Vogelwelt. 1994 S. 179-184


Hower, Walter; Rosendahl, M.; Hower, Walter et al.

CAD-oriented constraint processing with triangles

Hower, Walter; Haroud, Djamila; Ruttkay, Zsófia (Hrsg). Constraint Processing in CAD. Workshop Notes of the 3rd Intern. Conference in Artificial Intelligence in Design (AID'94). 1994 S. 38-43