Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer
DesconocidoAnnée:
2007
Langue:
spanish
ISBN 10:
0387237593
ISBN 13:
9780387237596
Fichier:
MOBI , 715 KB
IPFS:
,
spanish, 2007