Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: 2000
Number of items: 1.

2000

Stevenson, Alan and Dennis, Louise Abigail (2000) Integrating SVC and HOL with the PROSPER Toolkit. In: Theorem Proving in Higher Order Logics (TPHOLs 2000) Supplemental Proceedings, 2000, Oregon Graduate Institute, USA.

This list was generated on Tue Dec 31 01:56:30 2024 UTC.