Pages that link to "Item:Q545854"
From MaRDI portal
The following pages link to Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4--8, 2011. Proceedings (Q545854):
Displaying 2 items.