Identifier: 978-1-4842-9258-7

Identifier Namespace
isbn
Identifier
978-1-4842-9258-7


Identified Components with same Identifier:

Title Package Namespace
Introduction to Dependent Types with Idris (Current) Springer Nature English International Enhanced KBART 2016-2023 isbn
Introduction to Dependent Types with Idris (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International isbn
Introduction to Dependent Types with Idris (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2023 English International isbn
Edit (Login required)
Date Created
2023-03-20 09:36:47
Last Updated
2023-03-20 09:36:47
UUID
0ee4189c-8518-4fd0-81d5-877d8d82f01e


Loading