Different Approaches to Proof Systems.

Olaf Beyersdorff Sebastian Müller

Published in: TAMC (2010)

Keyphrases

management system
commercial products
complex systems
distributed systems
real time
evolutionary algorithm
case study
machine learning approaches
databases
image segmentation
data structure
website
knowledge based systems
building blocks
machine learning algorithms
neural network
strengths and weaknesses