Pages that link to "Item:Q1146017"
From MaRDI portal
The following pages link to An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning (Q1146017):
Displayed 1 item.
The following pages link to An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning (Q1146017):
Displayed 1 item.