Treffer 1 – 4 von 4 für Suche 'Nederpelt, Rob 1942-', Suchdauer: 0,03s 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
    Type theory and formal proof an introduction

    Type theory and formal proof an introduction von Nederpelt, Rob 1942-, Geuvers, Herman 1964-

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    De taal van de wiskunde een verkenning van wiskundig taalgebruik en logische redeneerpatronen

    De taal van de wiskunde een verkenning van wiskundig taalgebruik en logische redeneerpatronen von Nederpelt, Rob 1942-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Type theory and formal proof an introduction

    Type theory and formal proof an introduction von Nederpelt, Rob 1942-

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


    Gespeichert in:
  4. 4
    A modern perspective on type theory from its origins until today

    A modern perspective on type theory from its origins until today von Kamareddine, Fairouz, Laan, Twan 1970-, Nederpelt, Rob 1942-

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: