Web Directory

    Top: Science: Math: Logic_and_Foundations: Meetings: Past_Conferences:

 

TPHOLs 2000

  Link Details for: TPHOLs 2000
Link Title: TPHOLs 2000 Open in a new window
Link URL: http://www.cse.ogi.edu/tphols2000/
Link Details: 13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA; 14--18 August 2000.
Category: Top : Science : Math : Logic_and_Foundations : Meetings : Past_Conferences
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
TPHOLs 2000