General item icon

General item

The HOL string Library

Actions


Authors


Publisher:
Computer Laboratory‚ University of Cambridge
Publication date:
1991-06-01
URN:
uuid:5baf15ef-601a-4eaf-8d89-5cafe0837b49
Local pid:
cs:4737

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP