1 - 1 toradh á dtaispeáint as 1 toradh san iomlán ar an gcuardach 'Nederpelt, Rob', am iarratais: 0.01s Beachtaigh na torthaí
  1. 1

    Type theory and formal proof an introduction de réir Nederpelt, Rob, Geuvers, Herman

    Foilsithe / Cruthaithe 2014
    LEABHAR

    Type theory and formal proof an introduction

Uirlisí cuardaigh: