Identifier: 978-1-4842-9259-4

Identifier Namespace
eisbn
Identifier
978-1-4842-9259-4


Identified Components with same Identifier:

Title Package Namespace
Introduction to Dependent Types with Idris (Current) Springer Nature English International Enhanced KBART 2016-2023 eisbn
Introduction to Dependent Types with Idris (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International eisbn
Introduction to Dependent Types with Idris (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2023 English International eisbn
Edit (Login required)
Date Created
2023-02-16 07:25:09
Last Updated
2023-02-16 07:25:09
UUID
183bdcf9-aa57-4c2d-ad0a-abc481b7110b


Loading