BCK is not Structurally Complete.

Tomasz Kowalski

Published in: Notre Dame J. Formal Log. (2014)

Keyphrases

website
genetic algorithm
multimedia
digital libraries
database
machine learning
information systems
database systems
cooperative
evolutionary algorithm
rough sets