HOL88

MaRDI QIDQ31440swMATHFDO

Official website https://github.com/theoremprover-museum/HOL88

Source code repository https://github.com/theoremprover-museum/HOL88

Cited in

(2)

• Approximate real-time decision making: Concepts and rough fuzzy Petri net models
• scientific article; zbMATH DE number 1863390 (Why is no real title available?)

This page was built for software: HOL88