48809612
9781450347778
Out of Stock
The item you're looking for is currently unavailable.
Dowek, Gilles is the author of 'Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages : Theory and Practice', published 2016 under ISBN 9781450347778 and ISBN 1450347770.
[read more]