検索結果
11 - 18
結果 /
18
検索語 '
"Recursion theory."
'
コンテンツを見る
UPFind
ブックカート:
0
件
(満杯)
言語
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
全フィールド
タイトル
著者
主題
請求記号
ISBN/ISSN
検索
詳細検索
検索結果 - "Recursion theory."
検索結果
11 - 18
結果 /
18
検索語 '
"Recursion theory."
'
, 処理時間: 0.02秒
結果の絞り込み
ソート
適合順
Newest to Oldest
Oldest to Newest
著者順
タイトル順
Select Page
メール
エクスポート
印刷
図書バッグに追加
結果番号: 11を選択
11
Algorithmics theory and practice
著者:
Brassard, Giles
出版事項 1988
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
結果番号: 12を選択
12
Computability, an introduction to recursive function theory
著者:
Cutland, Nigel
出版事項 1980
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
結果番号: 13を選択
13
Induction, recursion, and programming
著者:
Wand, Mitchell
出版事項 1980
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
結果番号: 14を選択
14
Combinatory reduction systems
著者:
Klop, J. W.
出版事項 1980
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
結果番号: 15を選択
15
Computability an introduction to recursive function theory
著者:
Cutland, Nigel
出版事項 1980
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
結果番号: 16を選択
16
Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
著者:
Drake, F. R. (Frank Robert)
出版事項 1980
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
結果番号: 17を選択
17
Recursive analysis.
著者:
Goodstein, R. L. (Reuben Louis)
出版事項 1961
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
結果番号: 18を選択
18
Recursiveness.
著者:
Eilenberg, Samuel
請求記号:
loading...
配架場所:
loading...
図書
loading...
図書バッグに追加
図書バッグから削除
Select Page
メール
エクスポート
印刷
図書バッグに追加
[1]
前ページ
1
2
検索ツール:
検索結果をメール
戻る
結果の絞り込み
フィルターが選択・削除されるとページはリロードされます。
CAMPUS
Diliman
13 結果
13
Baguio
2 結果
2
Cebu
2 結果
2
Visayas
1 結果
1
DATABASE
Union Catalog (Buklod)
18 結果
18
UNIT LIBRARY
College of Science
6 結果
6
College of Engineering Library II
4 結果
4
College of Engineering Library I
2 結果
2
Lahug Library
2 結果
2
UP Baguio Main Library
2 結果
2
Cesar E.A. Virata School of Business
1 結果
1
Diliman Main Library: Info. Services & Instruction Section
1 結果
1
Institute of Mathematics
1 結果
1
UPV Main Library - Miagao
1 結果
1
すべて見る…
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
Q - 自然科学
16 結果
16
SUBJECT
Recursion theory
17 結果
17
Algorithms
4 結果
4
Computable functions
2 結果
2
Electronic books
2 結果
2
Recursive functions
2 結果
2
Combinatory logic
1 結果
1
Computational complexity
1 結果
1
Computer programming
1 結果
1
Induction (Mathematics)
1 結果
1
Invariants
1 結果
1
Logic, Symbolic and mathematical
1 結果
1
Loops (Group theory)
1 結果
1
Model theory
1 結果
1
Recursion theory -- Congresses
1 結果
1
Set theory
1 結果
1
Study and teaching
1 結果
1
すべて見る…
AUTHOR
Bratley, Paul
3 結果
3
Brassard, Gilles
2 結果
2
Cutland, Nigel
2 結果
2
Enderton, Herbert B.
2 結果
2
Brassard, Giles
1 結果
1
C.I.M.E. Summer School Bressanone, Italy
1 結果
1
Drake, F. R. (Frank Robert)
1 結果
1
Edmonds, Jeff 1963-
1 結果
1
Eilenberg, Samuel
1 結果
1
Goodstein, R. L. (Reuben Louis)
1 結果
1
Hinman, Peter G.
1 結果
1
Klop, J. W.
1 結果
1
Lolli, Gabriele 942-
1 結果
1
Roberts, Eric
1 結果
1
Shoenfield, Joseph R. (Joseph Robert) 1927-
1 結果
1
Smullyan, Raymond M.
1 結果
1
SpringerLink (Online service)
1 結果
1
Wand, Mitchell
1 結果
1
すべて見る…
RESOURCE TYPE
図書
16 結果
16
Electronic Resource
2 結果
2
LANGUAGE
English
11 結果
11
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman