Treffer 1 - 3 von 3 für Suche 'Schwarzweller, Christoph 1967-', Suchdauer: 0,10s Treffer weiter einschränken
  1. 1
    Mizar verification of generic algebraic algorithms

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

    Veröffentlicht 1997
    Abschlussarbeit Buch

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

    AI aspects in reasoning, languages, and computation

    Veröffentlicht 2020
    Weitere Verfasser:
    BFB01
    BTU01
    FAB01
    FAW01
    FFW01
    FHA01
    FHD01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FWS01
    FWS02
    HTW01
    TUM01
    UBT01
    UBY01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

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

    AI aspects in reasoning, languages, and computation

    Veröffentlicht 2020
    Weitere Verfasser:
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: