,

A Framework for Defining Distances Between First-Order Logic Objects.

, и .
ILP, том 1446 из Lecture Notes in Computer Science, стр. 271-280. Springer, (1998)

Метаданные

тэги

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

  • @dblp

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