Exploring Formalisation Dublin Core Títol Exploring Formalisation Autor Clara Löh Matèria Mathematics and Statistics Editor Springer Nature Data de publicació 2022 Identificador 9783031146497 Font https://doi.org/10.1007/978-3-031-14649-7 Etiquetes Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
