Proof systems for BAT consequence relations.

Pawel Pawlowski

Published in: Log. J. IGPL (2018)

Keyphrases

data sets
real world
management system
building blocks
complex systems
real time
computer vision
case study
retrieval systems
computing systems