Suchergebnisse - Nederpelt, Rob

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2014

    Online lesen (BSB)
    Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.
    Online lesen (LMU)
    In der Bibliothek der LMU nutzbar.
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2004
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1987
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    N. G. de Bruijn (1918 - 2012) and his road to automath, the earliest proof checker
    von Dechesne, Francien, Nederpelt, Rob

    Veröffentlicht 2012
    Per Fernleihe bestellen
    Paper


    Gespeichert in:

Suchwerkzeuge: