Technical Report No. 187 - Abstract
David: Wolff Basin
Theorem Proving in Higher Order Logics 2003 --- Proceedings of the Emerging Trends Track
Supplementary Proceedings of the TPHOLs 2003 in Rome.
Report No. 187 (PostScript)
|
|
|
Report No. 187 (PostScript) |
|
|
|