Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer
DesconocidoRok:
2007
Język:
spanish
ISBN 10:
0387237593
ISBN 13:
9780387237596
Plik:
EPUB, 335 KB
IPFS:
,
spanish, 2007