From GTC to : Generating reset proof systems from cyclic proof systems.

Graham E. Leigh Dominik Wehr

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

management system
complex systems
databases
neural network
real time
artificial intelligence
bayesian networks
learning environment
expert systems
information technology
intelligent systems
retrieval systems