LNCS 7797 - Programming Logics
Andrei Voronkov & Christoph Weidenbach (eds.)
Programming Logics
ปี:
2013
ภาษา:
spanish
ISBN 10:
3642376517
ISBN 13:
9783642376511
ไฟล์:
AZW3 , 2.01 MB
IPFS:
,
spanish, 2013