Axiomatization of the Logic Determined by some Finite Relational Systems.

Beata Bugajska-Jaszczolt

Published in: Reports Math. Log. (1998)

Keyphrases

relational databases
distributed systems
data sets
management system
intelligent systems
building blocks
information retrieval
genetic algorithm
logic programming
learning systems
asynchronous circuits