Pages that link to "Item:Q2018656"
From MaRDI portal
The following pages link to Foreword to the special focus on formal proofs for mathematics and computer science (Q2018656):
Displaying 5 items.
The following pages link to Foreword to the special focus on formal proofs for mathematics and computer science (Q2018656):
Displaying 5 items.