Printer friendly
"AcronymAttic.com

What does TPHOL stand for?

TPHOL stands for Theorem Proving and Higher Order Logics

Advertisement:

This definition appears very rarely

Other Resources: Acronym Finder has 1 verified definitions for TPHOL