Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings
From MaRDI portal
Publication:2152637
DOI10.1007/978-3-031-09827-7zbMATH Open1499.68018OpenAlexW4285079330MaRDI QIDQ2152637
Author name not available (Why is that?)
Publication date: 8 July 2022
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-09827-7
No records found.
This page was built for publication: Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2152637)