Treffer 1 - 1 von 1 für Suche 'Nederpelt, Rob', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1

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

    Veröffentlicht 2014
    Buch

    Type theory and formal proof an introduction

Suchwerkzeuge: