Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer
Desconocido年:
2007
语言:
spanish
ISBN 10:
0387237593
ISBN 13:
9780387237596
文件:
AZW3 , 948 KB
IPFS:
,
spanish, 2007