Delivery included to the United States

Higher Order Logic Theorem Proving and Its Applications

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

Hardback

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780387584508
Publisher: Springer Verlag
Imprint: Springer Verlag
Language: English
Number of pages: 470
Weight: -1g