Erakusten 1 - 1 emaitzak -- 1 bilaketa honetara 'Nederpelt, Rob', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1

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

    Argitaratua 2014
    Liburua

    Type theory and formal proof an introduction

Bilaketa egiteko lanabesak: