検索結果
1 - 4
結果 /
4
検索語 '
'
コンテンツを見る
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
検索
詳細検索
SUBJECT:
Mathematics
AND
Logic, Symbolic and mathematical
UNIT LIBRARY:
College of Engineering Library II
フィルター表示 (3)
SUBJECT:
Mathematics
AND
Logic, Symbolic and mathematical
UNIT LIBRARY:
College of Engineering Library II
検索結果
検索結果
1 - 4
結果 /
4
検索語 '
'
, 処理時間: 0.04秒
結果の絞り込み
ソート
適合順
Newest to Oldest
Oldest to Newest
著者順
タイトル順
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
結果番号: 1を選択
1
Alan Turing his work and impact
出版事項 2013
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 2を選択
2
Discrete structures, logic, and computability
著者:
Hein, James L.
出版事項 2010
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 3を選択
3
The essential Turing seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma
著者:
Turing, Alan Mathison 1912-1954
出版事項 2004
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 4を選択
4
Automata, logics, and infinite games
出版事項 2002
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
検索ツール:
RSSフィード
—
検索結果をメール
戻る
絞込み検索
CAMPUS
Diliman
4
DATABASE
Union Catalog (Buklod)
4
UNIT LIBRARY
College of Engineering Library II
College of Science
1
National Institute of Physics
1
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
Q - 自然科学
4
SUBJECT
Logic, Symbolic and mathematical
Mathematics
Computer science
3
Enigma cipher system
2
Artificial intelligence
1
Computable functions
1
Data structures (Computer science)
1
Game theory
1
Logic programming
1
Machine theory
1
Mathematicians
1
すべて見る ...
AUTHOR
Cooper, S. B.
1
Copeland, B. Jack 1950-
1
Grädel, Erich 1958-
1
Hein, James L.
1
Leeuwen, J. van
1
Thomas, Wolfgang 1947-
1
Turing, Alan Mathison 1912-1954
1
Wilke, Thomas 1965-
1
すべて見る ...
RESOURCE TYPE
図書
4
LANGUAGE
English
4
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
ロード中...