Suchergebnisse - Ohsuga, Akihito

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Inductive theorem proving based on term rewriting
    von Ohsuga, Akihito

    Veröffentlicht 1992
    Buch


    Gespeichert in:

Suchwerkzeuge: