Understanding Gentzen and Frege systems for QBF.

Olaf Beyersdorff Ján Pich

Published in: Electron. Colloquium Comput. Complex. (2016)

Keyphrases

retrieval systems
data sets
databases
information systems
expert systems
management system
learning systems
real time
neural network
building blocks
technical systems