Subatomic Proof Systems: Splittable Systems.

Andrea Aler Tubella Alessio Guglielmi

Published in: ACM Trans. Comput. Log. (2018)

Keyphrases

knowledge based systems
wide range
information technology
management system
complex systems
real world
clustering algorithm
high level
database systems
learning environment
natural language
expert systems
artificial neural networks
distributed systems
computing systems