Treffer 1 – 2 von 2 für Suche 'Vaalen, J. van', 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
    An extension of unification to substitutions with an application to automatic theorem proving

    An extension of unification to substitutions with an application to automatic theorem proving von Vaalen, J. van

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    An extension of unification to substitutions with an application to automatic theorem proving

    An extension of unification to substitutions with an application to automatic theorem proving von Vaalen, J. van

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: