Implikative BCK-Algebren.

Published in: Math. Log. Q. (1980)

Keyphrases

distributive lattices
databases
database systems
expert systems
semi automatic
general theory
artificial intelligence
pattern recognition
knowledge discovery
object oriented
rough sets