914249
9780387584508
Out of Stock
The item you're looking for is currently unavailable.
Melham, Thomas F. is the author of 'Higher Order Logic Theorem Proving and Its Application 7th International Workshop, Valletta, Malta, September 19-22, 1994 Proceedings' with ISBN 9780387584508 and ISBN 0387584501.
[read more]