Login / Signup

Vinter: A Vampire-Based Tool for Interpolation.

Krystof HoderAndreas HolzerLaura KovácsAndrei Voronkov
Published in: APLAS (2012)
Keyphrases
  • software tools
  • real time
  • information systems
  • computational complexity
  • artificial neural networks
  • digital images