Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

GPTKB entity


Please wait…