Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21--22, 2021. Proceedings

DOI10.1007/978-3-030-79379-1zbMATH Open1482.68031OpenAlexW3179187860MaRDI QIDQ2041469

Author name not available (Why is that?)

Publication date: 20 July 2021

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-79379-1

Mathematics Subject Classification ID

No records found.

This page was built for publication: Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21--22, 2021. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2041469)