HOL88

swMATH19615MaRDI QIDQ31440FDOQ31440

Author name not available (Why is that?)

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

Cited In (2)

• Approximate real-time decision making: Concepts and rough fuzzy Petri net models
• Title not available (Why is that?)

This page was built for software: HOL88