Subrecursion : functions and hierarchies /
Shranjeno v:
Glavni avtor: | ROSE, H.E. |
---|---|
Format: | Knjiga |
Jezik: | English |
Izdano: |
Oxford :
Clarendon Press,
1984.
|
Serija: | Oxford logic guides ;
9 |
Teme: | |
Oznake: |
Označite
Brez oznak, prvi označite!
|
Podobne knjige/članki
-
Rekurzivne množice : diplomsko delo /
od: Zalar, Borut.
Izdano: (1989) -
Synthesis of digital designs from recursion equations /
od: Johnson, Steven D.
Izdano: (1984) -
Theories of abstract automata /
od: Arbib, Michael A.
Izdano: (1969) -
Computability - Unsolvability /
od: Davis, Martin.
Izdano: (1958) -
Rekurzivne relacije : diplomsko delo /
od: Kubale, Marko.
Izdano: (1997)