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 Wed Feb 5 03:52:59 2025 UTC.