Uni-Logo

Institut für Informatik
 

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)