Toon 1 - 1 resultaten van 1 Voor zoekopdracht 'Nederpelt, Rob', zoektijd: 0,01s Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in 2014
    Boek

    Type theory and formal proof an introduction

Zoekinstrumenten: