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-06
Sorry, there are no active offers for this book. There's one more platform you can check out.
Check it outAs an Amazon Associate we earn from qualifying purchases.