Understanding Gentzen and Frege Systems for QBF.

Olaf Beyersdorff Ján Pich

Published in: LICS (2016)

Keyphrases

learning systems
databases
data mining
management system
intelligent systems
building blocks
information systems
learning environment
practical problems