Logic Program Synthesis Using Schema Instantation in an Interactive Environment

Documenti analoghi

• The Logic of Chemical Synthesis /
  di: Corey, E.J, et al.
  Pubblicazione: (1995)
• Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
  Pubblicazione: (1999)
• Logic synthesis and verification algorithms /
  di: Hachtel, Gary D, et al.
  Pubblicazione: (1996)
• Instant Notes Biochemistry
  di: Hames, B. David, et al.
  Pubblicazione: (2000)
• Instant Notes in Microbiology
  di: Nicklin, J.
  Pubblicazione: (1999)