Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 11:42, 21 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Ina Kraan, David A. Basin, and Alan Bundy
    Logic Program Synthesis via Proof Planning
    In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), Manchester, UK, 1992, 1993, 1-14. Note: Also available as Research Report MPI-I-92-244