LNCS 7797 - Programming Logics
Andrei Voronkov & Christoph Weidenbach (eds.)
Programming Logics
Año:
2013
ISBN 10:
3642376517
ISBN 13:
9783642376511
Archivo:
LIT , 1.37 MB
IPFS:
,
2013