1. Shodhganga@INFLIBNET
  2. Tata Institute of Fundamental Research
  3. School of Technology and Computer Science (STCS)
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/375937
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2022-04-25T08:34:37Z-
dc.date.available2022-04-25T08:34:37Z-
dc.identifier.urihttp://hdl.handle.net/10603/375937-
dc.description.abstractnewline
dc.format.extent
dc.languageEnglish
dc.relation
dc.rightsuniversity
dc.titleFormalizing Finite Set Combinatorics in Type Theory
dc.title.alternative
dc.creator.researcherAbhishek Kr Singh
dc.subject.keywordEngineering and Technology
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Information Systems
dc.description.note
dc.contributor.guideN Raja
dc.publisher.placeMumbai
dc.publisher.universityTata Institute of Fundamental Research
dc.publisher.institutionSchool of Computer and System Sciences (STCS)
dc.date.registered2012
dc.date.completed2020
dc.date.awarded2020
dc.format.dimensions
dc.format.accompanyingmaterialDVD
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:School of Technology and Computer Science (STCS)

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File108.62 kBAdobe PDFView/Open
02_declaration.pdf46.29 kBAdobe PDFView/Open
03_contents.pdf138.27 kBAdobe PDFView/Open
04_chapter 1.pdf300.32 kBAdobe PDFView/Open
05_chapter 2.pdf288.88 kBAdobe PDFView/Open
06_chapter 3.pdf240.46 kBAdobe PDFView/Open
07_chapter 4.pdf322.41 kBAdobe PDFView/Open
08_chapter 5.pdf80.18 kBAdobe PDFView/Open
09_bibliography.pdf96.68 kBAdobe PDFView/Open
80_recommendation.pdf301.19 kBAdobe PDFView/Open
a_acknowledgement.pdf1.57 MBAdobe PDFView/Open
b_preface.pdf47.24 kBAdobe PDFView/Open
c_list of tables and figures.pdf122.82 kBAdobe PDFView/Open
Show simple item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: