Treffer 1 – 3 von 3 für Suche 'Schwarzweller, Christoph 1967-', Suchdauer: 0,03s 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
    Mizar verification of generic algebraic algorithms

    Mizar verification of generic algebraic algorithms von Schwarzweller, Christoph 1967-

    Veröffentlicht 1997
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    AI aspects in reasoning, languages, and computation

    AI aspects in reasoning, languages, and computation

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    AI aspects in reasoning, languages, and computation

    AI aspects in reasoning, languages, and computation

    Veröffentlicht 2020
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: