ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

8 articles86 pagesPublished: December 14, 2015

Papers

Pages 1-16
Pages 17-30
Pages 31-36
Pages 37-41
Pages 42-58
Pages 59-64
Pages 65-70
Pages 71-86

Keyphrases