Pages that link to "Item:Q3585172"

The following pages link to A declarative semantics for CLP with qualification and proximity (Q3585172):

Displaying 2 items.

• A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)