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

Loading edition detail...

Preparing this view.

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

International Workshop on the HOL Theorem Proving System and Its Applications (1991 Davis, Calif.)

Bookitis Pick

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

Image source: Open Library

International Workshop on the HOL Theorem Proving System and Its Applications (1991 Davis, Calif.)Published 1992cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	IEEE Computer Society Press
Pages	411
Search language	english
ISBN_10	0-818-62461-2 primary
ISBN_10	0-818-62462-0 primary
ISBN_10	0-818-62460-4 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.