Pages that link to "Item:Q5053006"
From MaRDI portal
The following pages link to Some applications of Gentzen's proof theory in automated deduction (Q5053006):
Displayed 1 item.
The following pages link to Some applications of Gentzen's proof theory in automated deduction (Q5053006):
Displayed 1 item.