Identifier: 10.1007/978-1-4842-9259-4

Identifier Namespace
title_id
Identifier
10.1007/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 title_id
Introduction to Dependent Types with Idris (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International title_id
Introduction to Dependent Types with Idris (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2023 English International title_id
Edit (Login required)
Date Created
2023-03-20 09:36:47
Last Updated
2023-03-20 09:36:47
UUID
4d15adc4-a98f-4362-86c5-81787bca4fa7


Loading