Calculi of lambda-conversion (the)
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
NISER LIBRARY | 510.56 CHU-T (Browse shelf(Opens below)) | R (REFERENCE) | 15593 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
510.52 NIE-I Invitation to fixed-parameter algorithms | 510.52 NIE-I Invitation to fixed-parameter algorithms | 510:530.145 ARA-M Mathematical theory of quantum fields | 510.56 CHU-T Calculi of lambda-conversion (the) | 510:57 CIA-M Mathematical models and methods for living systems: Levico Terme, Italy 2014 | 510.6 CHO-I Introduction to mathematical logic | 510.6 EBB-M Mathematical logic |
There are no comments on this title.