Login / Signup
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