Բեռնվում է…
Computations in higher types /
Պահպանված է:
Հիմնական հեղինակ: | Moldestad, Johan, 1946- |
---|---|
Ձևաչափ: | Գիրք |
Լեզու: | English |
Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1977.
|
Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
574. |
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Computability /
: Weihrauch, Klaus, 1943-
Հրապարակվել է: (1987) -
Recursively enumerable sets and degrees : A study of computable functions and computably generated sets /
: Soare, Robert Irving, 1940-
Հրապարակվել է: (1987) -
Recursiveness /
: Eilenberg, Samuel
Հրապարակվել է: (1970) -
General recursion theory : An axiomatic approach /
: Fenstad, Jens Erik
Հրապարակվել է: (1980) -
An introduction to the general theory of algorithms /
: Machtey, Michael
Հրապարակվել է: (1978)