Treffer 1 – 2 von 2 für Suche 'Wenzel, Markus Michael 1969-', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Isabelle, Isar - a versatile environment for human readable formal proof documents

    Isabelle, Isar - a versatile environment for human readable formal proof documents von Wenzel, Markus Michael 1969-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Isabelle, Isar - a versatile environment for human readable formal proof documents

    Isabelle, Isar - a versatile environment for human readable formal proof documents von Wenzel, Markus Michael 1969-

    Veröffentlicht 2002
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: