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)