Inproceedings,

Proof-Search in Natural Deduction Calculus for Classical Propositional Logic.

, and .
TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 237-252. Springer, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews