Pages that link to "Item:Q822930"
From MaRDI portal
The following pages link to Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6--9, 2021. Proceedings (Q822930):
Displaying 3 items.
- Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings (Q734219) (← links)
- Automated reasoning with analytic tableaux and related methods. 11th international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 -- August 1, 2002. Proceedings (Q1613676) (← links)
- 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 -- July 1, 2021 (Q5000334) (← links)