Pages that link to "Item:Q5013905"
From MaRDI portal
The following pages link to From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905):
Displaying 5 items.
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- Investigations into proof structures (Q6653096) (← links)
