Printer friendly
Acronymfinder

What does TPHOLs stand for?

TPHOLs stands for Theorem Proving in Higher Order Logics (conference)

This definition appears very rarely and is found in the following Acronym Finder categories:

  • Science, medicine, engineering, etc.
  • Organizations, NGOs, schools, universities, etc.