Treffer 1 – 2 von 2 für Suche 'Smith, Jan M.', 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
    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /

    Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /

    Veröffentlicht 1998
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Programming in Martin-Löf's type theory an introduction

    Programming in Martin-Löf's type theory an introduction von Nordström, Bengt, Petersson, Kent, Smith, Jan M.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: