Dangos 1 - 1 canlyniadau o 1 ar gyfer chwilio 'Nederpelt, Rob', amser ymholiad: 0.01e Mireinio'r Canlyniadau
  1. 1

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

    Cyhoeddwyd 2014
    Llyfr

    Type theory and formal proof an introduction

Offerynnau Chwilio: