國立高雄大學圖資館 |

Search result for [ subject:"Computable functions."]

22 records (0.03s)· Page 1 of 3 • 1 2 3

1.

Computability :a mathematical sketch...

~
Bridges, D. S. (1945-)
- Computability :a mathematical sketchbook /
- by: Bridges, D. S. (1945-)
- Language materials, printed : Monograph/item
- Language: 英文
- Publisher: Springer-Verlag,
- Place of Publication: New York :
- Year of Publication: 1994
- ISBN: 0387941746; 3540941746
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Set theory for computing :from decis...

~
Cantone, Domenico.
- Set theory for computing :from decision procedures to declarative programming with sets /
- by: Cantone, Domenico.; Omodeo, Eugenio.; Policriti, Alberto.
- Language materials, printed : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 0387951970
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Computability theory /

~
Weber, Rebecca, (1977-)
- Computability theory /
- by: Weber, Rebecca, (1977-)
- Language materials, printed : Monograph/item
- Language: 英文
- Publisher: American Mathematical Society,
- Place of Publication: Providence, R.I. :
- Year of Publication: 2012
- ISBN: 9780821873922
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Computability and complexity theory /

~
Homer, S.
- Computability and complexity theory /
- by: Homer, S.; Selman, Alan L.
- Language materials, printed : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 0387950559
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Computability in contextcomputation ...

~
Cooper, S. B.
- Computability in contextcomputation and logic in the real world /
- by: Cooper, S. B.; Sorbi, Andrea, (1956-)
- Electronic resources : Monograph/item
- Publisher: Distributed by World Scientific,; Imperial College Press ;
- Place of Publication: London :
- Year of Publication: 2011
- ISBN: 1848162774; 9781848162778
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.
- Automata, computability and complexity :theory and applications /
- by: Rich, Elaine.
- Language materials, printed : Monograph/item
- Publisher: Pearson Prentice Hall,
- Place of Publication: Upper Saddle River, N.J. :
- Year of Publication: 2009
- ISBN: 0132346176; 9780132346177
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

An introduction to the technique of ...

~
Cantone, Domenico.
- An introduction to the technique of formative processes in set theory
- by: Cantone, Domenico.; SpringerLink (Online service); Ursino, Pietro.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319747774; 9783319747781
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

An invitation to analytic combinator...

~
Melczer, Stephen.
- An invitation to analytic combinatoricsfrom one to several variables /
- by: Melczer, Stephen.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2021
- ISBN: 9783030670795; 9783030670801
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Higher-order computability

~
Longley, John.
- Higher-order computability
- by: Longley, John.; Normann, Dag.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Berlin Heidelberg :
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2015
- ISBN: 9783662479919; 9783662479926
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

The incomputablejourneys beyond the ...

~
Cooper, S. Barry.
- The incomputablejourneys beyond the Turing barrier /
- by: Cooper, S. Barry.; Soskova, Mariya I.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2017
- ISBN: 9783319436678; 9783319436692
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items