SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 10 from your keywords:
Subject : "Recursive Functions"
Query took 2.06692 second(s) to complete
Computations in higher types
Author(s) : Moldestad, Johan -
Edition :
Call Number : 511.3 MOL
Record Detail
Recursive analysis
Author(s) : Goodstein, R. L. -
Edition :
Call Number : 517.5 GOR
Record Detail
Recursive macroeconomic theory
Author(s) : Sargent, Thomas J. - Ljungqvist, Lars - Institution, Hoover -
Edition : 2nd ed.
Call Number : 339.0151135 LJU
Record Detail
Recursive function theory
Edition :
Call Number : 510 PRO
Record Detail
An Introduction to the general theory of algorithms
Author(s) : Machtey, Michael - Young, Paul -
Edition :
Call Number : 511.8 MAC
Record Detail
Computability and logic
Author(s) : Boolos, George - Jeffrey, Richard -
Edition :
Call Number : 511.3 BOO
Record Detail
Computability with pascal
Author(s) : De Lillo, Nicholas J. - Mallozzi, John S. -
Edition :
Call Number : 511 MAL
Record Detail
Computability and logic
Author(s) : Boolos, George S. - Jeffrey, Richard C. -
Edition : 3rd ed.
Call Number : 511.3 BOO/1989
Record Detail
Recursive equivalence types
Author(s) : Dekker, J. C. E. - Myhill, J. -
Edition :
Call Number : 512 DEK
Record Detail
Enumerability, decidability, computability
Author(s) : Hermes, Hans. - Hermann, G. T. -
Edition : 2nd ed.
Call Number : 517.5 HEE
Record Detail




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U