The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Peters, James F.; Skowron, Andrzej; Suraj, Zbigniew; Pedrycz, Witold; Ramanna, Sheela: Approximate real-time decision making: Concepts and rough fuzzy Petri net models (1999)