>> Google Books
タイトル、所在を表示します

Set theory for computing : from decision procedures to declarative programming with sets

フォーマット:
図書
責任表示:
Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz
言語:
英語
出版情報:
New York : Springer Verlag, c2001
形態:
xviii, 409 p. ; 24 cm
著者名:
シリーズ名:
Monographs in computer science <BA25153956>
書誌ID:
BA53174047
ISBN:
9780387951973 [0387951970]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computational logic and set theory : applying formalized logic to analysis

Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
7 図書 A programming approach to computability

Kfoury, A. J., Moll, Robert N., Arbib, Michael A., 1940-

Springer-Verlag
2 図書 The theory of computability : programs, machines, effectiveness and feasibility

Sommerhalder, R., Van Westrhenen, S. C

Addison-Wesley Pub. Co.
8 図書 Computability and complexity theory

Homer, S. (Steven), Selman, Alan L.

Springer
3 図書 Computability, enumerability, unsolvability : directions in recursion theory

Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society

Cambridge University Press
9 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
4 図書 Notes on logic and set theory

Johnstone, P. T

Cambridge University Press
10 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

MIT Press
5 図書 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, R. I. (Robert Irving), 1940-

Springer-Verlag
11 図書 Computability, an introduction to recursive function theory

Cutland, Nigel

Cambridge University Press
6 図書 Computability theory

Weber, Rebecca, 1977-

American Mathematical Society
12 図書 Set theory

Jech, Thomas J.

Academic Press