Hol Theorem Proving System and Applications
ISBN-13: 9780818624605
ISBN-10: 0818624604
Author: Institute Of Electrical And Electronics Engineers
Binding: Paperback
Publisher: IEEE Computer Society
Published: 1992
Sorry, we could not find any active deals for this book. Please try at another time or try a different book.
As an Amazon Associate we earn from qualifying purchases.