Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science) - Hardcover

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

This specific ISBN edition is currently not available.

Language
English
ISBN 10 
0387584501
ISBN 13 
9780387584508
Binding
Hardcover

Other Popular Editions of the Same Title

9783540584506: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: 859 (Lecture Notes in Computer Science, 859)

Featured Edition

ISBN 10:  3540584501 ISBN 13:  9783540584506
Publisher: Springer, 1994
Softcover