Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Nederpelt, Rob', hakuaika: 0,01s Tarkenna hakua
  1. 1

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

    Julkaistu 2014
    Kirja

    Type theory and formal proof an introduction

Työkalut: