Pages that link to "Item:Q734219"
From MaRDI portal
The following pages link to Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings (Q734219):
Displaying 3 items.
- Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6--9, 2021. Proceedings (Q822930) (← links)
- Automated reasoning with analytic tableaux and related methods. 11th international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 -- August 1, 2002. Proceedings (Q1613676) (← links)
- Abstract cyclic proofs (Q6646012) (← links)