Analysis and synthesis of inductive families (English)
Free access
- New search for: Ko, H
- New search for: Ko, H
- New search for: Gibbons, J
2016
- Theses / Electronic Resource
-
Title:Analysis and synthesis of inductive families
-
Contributors:Ko, H ( author ) / Gibbons, J
-
Publication date:2016-07-28
-
Type of media:Theses
-
Type of material:Electronic Resource
-
Language:English
- New search for: 005
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005 -
Source: