5199869
9780387578262
Out of Stock
The item you're looking for is currently unavailable.
Joyce, Jeffrey J. is the author of 'Higher Order Logic Theorem Proving and Its Applications 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993', published 1994 under ISBN 9780387578262 and ISBN 0387578269.
[read more]