Inproceedings,

A Probabilistic Evaluation Function for Relaxed Unification.

, , and .
COMPSAC (2), page 35-36. IEEE Computer Society, (2005)0-7695-2413-3.

Meta data

Tags

Users

  • @dblp

Comments and Reviews