Mostra 1 - 1 risultati di 1 ricerca 'Nederpelt, Rob', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Pubblicazione 2014
    Libro

    Type theory and formal proof an introduction

Strumenti per la ricerca: