Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer
Unknown年:
2007
语言:
spanish
ISBN 10:
0387237593
ISBN 13:
9780387237596
文件:
FB2 , 1.52 MB
IPFS:
,
spanish, 2007