Extensible Proof Systems for Infinite-State Systems.

Jeroen J. A. Keiren Rance Cleaveland

Published in: CoRR (2022)

Keyphrases

artificial intelligence
three dimensional
management system
data management
intelligent systems
computer systems
complex systems