Treffer 1 – 2 von 2 für Suche 'Ohsuga, Akihito', 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
    Complete equational unification based on an extension of the Knuth-Bendix completion procedure

    Complete equational unification based on an extension of the Knuth-Bendix completion procedure von Ohsuga, Akihito, Sakai, Ko

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Inductive theorem proving based on term rewriting

    Inductive theorem proving based on term rewriting von Ohsuga, Akihito

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: