विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view

Logics and Type Systems in Theory and Practice

Venanzio Capretta

Logics and Type Systems in Theory and Practice - 2024 - Heidelberg, Germany Springer Nature 2024 - Lecture Notes in Computer Science .

ISBN: 978-3-031-61716-4

Subjects--Topical Terms:
Computer Science

Print
Cite
Send to device
Save record
BIBTEX RIS
More searches

Search for this title in:

Managed & maintained by Learning Resource Center, IIT Indore

विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौरLearning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूचीOnline Public Access Catalogue (OPAC)

Logics and Type Systems in Theory and Practice

विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)