The KeY system 1.0 (Deduction Component).

Bernhard Beckert Martin Giese Reiner Hähnle Vladimir Klebanov Philipp Rümmer Steffen Schlager Peter H. Schmitt

Published in: CADE (2007)

Keyphrases

neural network
artificial intelligence
key technologies
learning algorithm
computer vision
decision making
three dimensional
medical images
software components
inference rules
theorem proving