DRSML
Library Management System
SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES
RECORD DETAIL
Back To Previous
Back To Previous
Title | Computations in higher types |
Edition | |
Call Number | 511.3 MOL |
ISBN/ISSN | 3-540-08132-1 |
Author(s) | Moldestad, Johan - Personal Name |
Subject(s) | Recursive Functions |
Classification | 511.3 |
Series Title | Lecture Notes in Mathematics No.574 | GMD | Text |
Language | English |
Publisher | Longmans |
Publishing Year | 1977 |
Publishing Place | Cambridge |
Collation | 203p |
Abstract/Notes | |
Specific Detail Info | |
Image | ![]() |
File Attachment | LOADING LIST... |
Availability | LOADING LIST... |
Back To Previous |
Select Language
Advanced Search
Developed By
Implemented by: Anees ur Rehman