Treffer 1 – 5 von 5 für Suche 'Fuchs, Marc', 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
    Cooperative parallel automated theorem proving

    Cooperative parallel automated theorem proving von Wolf, Andreas, Fuchs, Marc

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Erhebungen über den Gebrauch von Hörgeräten in West-Berlin

    Erhebungen über den Gebrauch von Hörgeräten in West-Berlin von Fuchs, Marc Aurel

    Veröffentlicht 1974
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Relevancy based use of lemmas in connection tableau calculi

    Relevancy based use of lemmas in connection tableau calculi von Fuchs, Marc

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Similarity based lemma generation with lemma delaying tableaux enumeration

    Similarity based lemma generation with lemma delaying tableaux enumeration von Fuchs, Marc

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Relevancy based use of lemmas in connection tableau calculi

    Relevancy based use of lemmas in connection tableau calculi von Fuchs, Marc

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: