Previous
Next
Journal
- lecture notes in computer science13
- journal of automated reasoning3
- intelligent computer mathematics2
- logical methods in computer science2
- theorem proving in higher order logics2
- automated deduction - cade 271
- automated deduction - cade-231
- automated reasoning with analytic tableaux and related methods1
- electronic notes in theoretical computer science1