Zum Inhalt springen

  10. Berardi, Stefano [HerausgeberIn]; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; deL̉iguoro, Ugo [Sonstige Person, Familie und Körperschaft] ; TYPES 2008 Turin

    Types for proofs and programs : international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5497

  11. Miculan, Marino [HerausgeberIn]; Scagnetto, Ivan [Sonstige Person, Familie und Körperschaft]; Honsell, Furio [Sonstige Person, Familie und Körperschaft] ; TYPES 2007 Cividale del Friuli

    Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4941

  14. Melham, T. F. [HerausgeberIn] ; International Workshop on Higher Order Logic Theorem Proving and Its Applications 7 1994 Valletta

    Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1994

    Erschienen in: Lecture notes in computer science ; 859

  16. Petrus de Dusburg [VerfasserIn]; Petrus de Dusburg [VerfasserIn] ; Scholz, Klaus [ÜbersetzerIn]; Scholz, Klaus [Sonstige Person, Familie und Körperschaft]; Wojtecki, Dieter [ÜbersetzerIn]; Wojtecki, Dieter [Sonstige Person, Familie und Körperschaft]; Töppen, Max [HerausgeberIn]

    Chronik des Preussenlandes

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Darmstadt: Wissenschaftl. Buchges., 1984

    Erschienen in: Ausgewählte Quellen zur deutschen Geschichte des Mittelalters ; 25

  17. Melville, Gert [HerausgeberIn]; Müller, Anne [Sonstige Person, Familie und Körperschaft]

    Female vita religiosa between Late Antiquity and the High Middle Ages : structures, developments and spatial contexts ; [ ... proceedings of the Third International Conference of the Research Centre for Comparative History of Religious Orders, held from 19th to 21st March 2009 at the Catholic University Eichstätt in Germany]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Münster; Wien; Zürich: Lit, 2011

    Erschienen in: Vita regularis / Abhandlungen ; 47