Results 141 to 150 of about 47,415 (256)

Understanding Gentzen and Frege Systems for QBF

open access: yesLogic in Computer Science, 2016
Olaf Beyersdorff, J. Pich
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy