Sign in

Algorithmic program synthesis: introduction.

Rastislav BodíkBarbara Jobstmann
Published in: Int. J. Softw. Tools Technol. Transf. (2013)
Keyphrases
  • program synthesis
  • recursive programs
  • inductive logic programming
  • database
  • databases
  • machine learning
  • artificial intelligence
  • high level
  • first order logic
  • relational learning