Computations in higher types /
41
Main Author: | 430417 Moldestad, Johan |
---|---|
Format: | |
Published: |
Berlin : Springer,
1977
|
Subjects: |
Similar Items
-
Introduction to computability /
by: 430261 Hennie, Frederick C.
Published: (1977) -
Computability and unsolvability /
by: 429964 Davis, Martin
Published: (1958) -
Theory of recursive functions and effective computability /
by: 430645 Rogers, Hartley
Published: (1967) -
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: 430372 Hermes, Hans
Published: (1969) -
Computability
by: 8545 Open University. Computing and Computers Course Team
Published: (1973)