Hol Theorem Proving System and Applications
Publisher: Ieee Computer Society
Published: June 1992
Language: eng
Format: Paperback
Number of pages: 432
ISBN-13: 9780818624605
Subjects: Mathematical logic; Science: General Issues; Science/Mathematics