コンテンツを見る
Library Home
Start Over
Research Databases
E-Journals
講義資料
Library Home
ログイン
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
हिंदी
Հայերէն
Українська
言語
Library Catalog
全フィールド
タイトル
著者
主題
請求記号
ISBN/ISSN
検索
詳細検索
|
ブラウズ
|
検索方法
Logic and Computation
この資料を引用
この資料をSMS送信
この資料をメール
印刷
エクスポート
エクスポート先: RefWorks
エクスポート先: EndNoteWeb
エクスポート先: EndNote
お気に入りに追加
パーマネントリンク
Logic and Computation
保存先:
書誌詳細
団体著者:
Workshop on Logic and Computation Carnegie Mellon University
その他の著者:
Sieg, Wilfried, 1945-
(編集者)
フォーマット:
eBook
言語:
English
出版事項:
Providence :
American Mathematical Society,
1990.
シリーズ:
Contemporary Mathematics.
主題:
Computable functions
>
Data processing
>
Congresses.
Computable functions
>
Data processing
Mathematics.
Physical Sciences & Mathematics.
Mathematical Theory.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
オンライン・アクセス:
Click for online access
所蔵
その他の書誌記述
目次
類似資料
MARC表示
ログイン (予約・返却請求情報入力)
インターネット
Click for online access
Online
予約・返却請求 Online
利用可
類似資料
Logic and Combinatorics
著者:: Simpson, Stephen G.
出版事項: (1987)
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
出版事項: (1990)
Tapas in Experimental Mathematics
著者:: Amdeberhan, Tewodros
出版事項: (2008)
Advanced Computational Electromagnetic Methods.
著者:: Yu, Wenhua
出版事項: (2015)
Computability with PASCAL
著者:: Mallozzi, John S.
出版事項: (1984)