Computations in higher types /
Autor principal: | Moldestad, John 1946- (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Ejemplares similares
-
Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960) -
Computability /
por: Tourlakis, George J., et al.
Publicado: (1984) -
Computability and unsolvability
por: Davis, Martin 1928-, et al.
Publicado: (1958) -
Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980) -
Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)