Browse by Authors and Editors

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

2002

Dennis, Louise Abigail and Bundy, Alan (2002) A Comparison of two Proof Critics: Power vs. Robustness. In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, August 20-23, 2002, Hampton, VA, USA.

This list was generated on Fri Jan 31 21:26:43 2025 UTC.