26593361
9783642142024
Out of Stock
The item you're looking for is currently unavailable.
Giesl, Jürgen is the author of 'Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings', published 2010 under ISBN 9783642142024 and ISBN 3642142028.
[read more]