Subatomic Proof Systems: Splittable Systems.

Andrea Aler Tubella Alessio Guglielmi

Published in: CoRR (2017)

Keyphrases

systems require
wide range
software engineering
response time
genetic algorithm
web services
case study
multi agent
data model
intelligent systems
computer systems
learning systems
computational models