Partial Metric Distance Function

From GM-RKB
Jump to: navigation, search

An Partial Metric Distance Function is a Distance Function where ...



References