,

Machine Invention of First Order Predicates by Inverting Resolution.

, и .
ML, стр. 339-352. Morgan Kaufmann, (1988)

Метаданные

тэги

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

  • @emanuel
  • @dblp

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