Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science) - Hardcover
Hardcover
ISBN 10: 0387584501 ISBN 13: 9780387584508
This specific ISBN edition is currently not available.