First-degree Entailment and Binary Consequence Systems.

Yaroslav Shramko

Published in: FLAP (2020)

Keyphrases

data sets
computer systems
databases
computer vision
distributed systems
building blocks
computing systems