Treffer 1 – 2 von 2 für Suche 'Idestam-Almquist, Peter', Suchdauer: 0,02s 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
    Generalization of clauses

    Generalization of clauses von Idestam-Almquist, Peter

    Veröffentlicht 1993
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Learning missing clauses by completing refutation proofs

    Learning missing clauses by completing refutation proofs von Idestam-Almquist, Peter

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: