Treffer 1 – 3 von 3 für Suche 'Ritter, Eike', 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
    Reductive logic and proof-search proof theory, semantics, and control

    Reductive logic and proof-search proof theory, semantics, and control von Pym, David J., Ritter, Eike

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Reductive logic and proof-search proof theory, semantics, and control

    Reductive logic and proof-search proof theory, semantics, and control von Pym, David J., Ritter, Eike

    Veröffentlicht 2004
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Categorical abstract machines for higher-order typed lambda calculi

    Categorical abstract machines for higher-order typed lambda calculi von Ritter, Eike

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: