- ECU Libraries Catalog

Start Over

You searched for: author_facet International Workshop on the HOL Theorem Proving System and Its Applications

Showing 1 - 1 of 1 results

Search Results

Cover image for Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California

by International Workshop on the HOL Theorem Proving System and Its Applications
1992
Format: Electronic

Location
Access Content Online