Sign in

Using Vampire in Soundness Proofs of Type Systems.

Sylvia GreweSebastian ErdwegMira Mezini
Published in: Vampire Workshop (2015)
Keyphrases
  • computing systems
  • neural network
  • real world
  • computer vision
  • multiscale
  • expert systems
  • information technology
  • evolutionary algorithm
  • building blocks
  • learning systems