Treffer 1 – 6 von 6 für Suche 'Khasidashvili, Zurab', Suchdauer: 0,04s 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
    Higher Order Recursive Program Schemes are turing incomplete

    Higher Order Recursive Program Schemes are turing incomplete von Khasidashvili, Zurab

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Higher order recursive program schemes are turing incomplete

    Higher order recursive program schemes are turing incomplete von Khasidashvili, Zurab

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Perpetual reductions and strong normalization in orthogonal term rewriting systems

    Perpetual reductions and strong normalization in orthogonal term rewriting systems von Khasidashvili, Zurab

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Perpetual reductions and strong normalization in orthogonal term rewriting systems

    Perpetual reductions and strong normalization in orthogonal term rewriting systems von Khasidashvili, Zurab

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Perpetual reductions in orthogonal combinatory reduction systems

    Perpetual reductions in orthogonal combinatory reduction systems von Khasidashvili, Zurab

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Perpetual reductions in orthogonal combinatory reduction systems

    Perpetual reductions in orthogonal combinatory reduction systems von Khasidashvili, Zurab

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: