Sign in
Deaccumulation techniques for improving provability.
Jürgen Giesl
Armin Kühnemann
Janis Voigtländer
Published in:
J. Log. Algebraic Methods Program. (2007)
Keyphrases
</>
multimedia
learning environment
management system
online learning