Publications (158,255)

Search

Ω-MKRP: A proof development environment

Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J (1994)

Conference contribution, Original article

Unification in a sorted λ-calculus with term declarations and function sorts

Kohlhase M (1994)

Conference contribution, Original article

Markov-Switching Models for Exchange-Rate Dynamics and the Pricing of Foreign-Currency Options

Kähler J, Marnet V (1994)

Book chapter / Article in edited volumes

Tagung in Tutzing

Gazer HR (1994)

Journal article

Sokrates als Pythagoreer und die Anamnesis in Platons Phaidon

Ebert T (1994)

Authored book, Monography

Anruf genügt! : So funktioniert das Telefon / Tom & David Smith. Luzern 1993

Hübner T (1994)

Other publication type

Flexible UHF data transmission system with broad tuning range

Heuberger A (1994)

Conference contribution

Aaron Halle-Wolfssohn: Leichtsinn und Frömmelei. Ein Lustspiel zur Unterhaltung beym Purim-Feste. Transkribierter Neudruck der in hebräischen Lettern gesetzten Ausgabe Breslau 1796

Och G, Strauss J (1994)

Edited Volume

Enzyklopädische Lernerwörterbücher

Herbst T, Heath D (1994)

Journal article

Abfall - Schicksal oder Herausforderung

Hosemann G (1994)

Authored book

‹ 1 ... 15,509 15,510 15,511 15,512 15,513 ... 15,826 ›