The canonical pairs of bounded depth Frege systems.

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

real time
pairwise
high resolution
management system
building blocks
databases
real world
machine learning
data structure
software development
computer systems
knowledge based systems