,

Logic Program Synthesis as Problem Reduction Using Combining Forms.

, , и .
Autom. Softw. Eng., 8 (2): 167-193 (2001)

Метаданные

тэги

Пользователи данного ресурса

  • @emanuel
  • @dblp

Комментарии и рецензии