言語:
日文
English
簡体中文
繁體中文
ヘルプ
ログイン
~へ行く 詳細検索
選択
書誌レベル:
全部記録
図書
逐次刊行物
分析的な
合集
一般資料表示 :
全部記録
圖書(book)
期刊(periodical)
DVD光碟(DVD)
VCD光碟(VCD)
碩士學位論文(校內)(master's thesis)
學生專題報告(student report)
磁帶(tape)
磁碟(磁片)(magnetic disk)
錄音帶(audio cassette)
錄影帶(video cassette)
幻燈片(slide)
唱片(record)
CD唱片(CD)
影碟(DVD)
參考書(reference works)
投影片(transparency)
輿圖(map)
剪輯資料(film editing)
學位論文(校外)(theses and dissertations)
期刊參考書(journal reference books)
特藏(special collections)
工程圖(engineering drawings)
教學圖表(色卡, 字卡..)(graphic/chart)
原件. 複製照片(明信片)(Original.Copy photo (postcard))
原件. 複製平面藝術品(Original. Copy Graphic Artwork)
海報(poster)
教師著作(faculty publication)
本校各單位出版品(publications of various units)
電子參考書_光碟(reference ebook)
電子圖書_光碟(ebook)
電子期刊_光碟(e-journal)
繪本讀物(picture book)
英基文庫(Yingji collection)
多媒體光碟(multimedia disc)
期刊附件光碟(journal attachment CD)
微縮資料(microform)
博士學位論文(校內)(PhD thesis)
藝術作品(art original)
漫畫(comics)
榮葉合作借書證
日文書(Japanese book)
彰雲嘉大專校院聯盟借書證
圖書互借借書證
電子書閱讀器
所蔵資料のみで
絞込み検索
関連主題
10
20
50
関連性 昇順
国際標準図書番号 (ISBN) 昇順
国際標準図書番号 (ISBN) 降順
国際標準逐次刊行物番号(ISSN) 昇順
国際標準逐次刊行物番号(ISSN) 降順
主題 昇順
主題 降順
全部タイトル 昇順
全部タイトル 降順
全部著者 昇順
全部著者 降順
出版地 昇順
出版地 降順
出版年 昇順
出版年 降順
国際標準図書番号 (ISBN) /国際標準逐次刊行物番号(ISSN) 昇順
国際標準図書番号 (ISBN) /国際標準逐次刊行物番号(ISSN) 降順
個人名 昇順
個人名 降順
RID(系統の識別番号) 昇順
RID(系統の識別番号) 降順
シリーズ 昇順
シリーズ 降順
本タイトル 昇順
本タイトル 降順
版表示 昇順
版表示 降順
内容注記 昇順
内容注記 降順
出版者 昇順
出版者 降順
評価 昇順
評価 降順
検索結果
[ subject:"Mathematical Logic and Formal Languages."]
318 レコード (0.015s)
·
ページ 1 ...の 32
•
1
2
3
4
5
...
32
1
.
Logic[electronic resource] :a brief ...
~
Mundici, Daniele.
Logic[electronic resource] :a brief course /
…で:
Mundici, Daniele.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Springer Milan,
出版地:
Milano :
出版年:
2012.
国際標準図書番号 (ISBN) :
9788847023604; 9788847023611
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
2
.
A proof theory for description logic...
~
Rademaker, Alexandre.
A proof theory for description logics[electronic resource] /
…で:
Rademaker, Alexandre.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Springer London,
出版地:
London :
出版年:
2012.
国際標準図書番号 (ISBN) :
9781447140016; 9781447140023
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
3
.
Scalable uncertainty management[elec...
~
Clark Conference ((2005 :)
Scalable uncertainty management[electronic resource] :second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 : proceedings /
…で:
Clark Conference ((2005 :); Greco, Sergio.; Lukasiewicz, Thomas.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Springer Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2008.
国際標準図書番号 (ISBN) :
9783540879923; 9783540879930
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
4
.
Leo Esakia on duality in modal and i...
~
Bezhanishvili, Guram.
Leo Esakia on duality in modal and intuitionistic logics[electronic resource] /
…で:
Bezhanishvili, Guram.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Imprint: Springer,; Springer Netherlands :
出版地:
Dordrecht :
出版年:
2014.
国際標準図書番号 (ISBN) :
9789401788595; 9789401788601
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
5
.
Epistemology, context, and formalism...
~
Lihoreau, Franck.
Epistemology, context, and formalism[electronic resource] /
…で:
Lihoreau, Franck.; Rebuschi, Manuel.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2014.
国際標準図書番号 (ISBN) :
9783319029429; 9783319029436
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
6
.
Advances in natural deduction[electr...
~
Haeusler, Edward Hermann.
Advances in natural deduction[electronic resource] :a celebration in Dag Prawitz's work /
…で:
Haeusler, Edward Hermann.; Pereira, Luiz Carlos.; SpringerLink (Online service); de Paiva, Valeria.
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Imprint: Springer,; Springer Netherlands :
出版地:
Dordrecht :
出版年:
2014.
国際標準図書番号 (ISBN) :
9789400775473; 9789400775480
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
7
.
Freedom and enforcement in action[el...
~
Czelakowski, Janusz.
Freedom and enforcement in action[electronic resource] :a study in formal action theory /
…で:
Czelakowski, Janusz.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Imprint: Springer,; Springer Netherlands :
出版地:
Dordrecht :
出版年:
2015.
国際標準図書番号 (ISBN) :
9789401798549; 9789401798556
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
8
.
Gentzen's centenary[electronic resou...
~
Gentzen, Gerhard.
Gentzen's centenary[electronic resource] :the quest for consistency /
…で:
Gentzen, Gerhard.; Kahle, Reinhard.; Rathjen, Michael.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2015.
国際標準図書番号 (ISBN) :
9783319101026; 9783319101033
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
9
.
Perspectives on interrogative models...
~
Baskent, Can.
Perspectives on interrogative models of inquiry[electronic resource] :developments in inquiry and questions /
…で:
Baskent, Can.; SpringerLink (Online service)
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2016.
国際標準図書番号 (ISBN) :
9783319207612; 9783319207629
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
10
.
Structural analysis of non-classical...
~
Clark Conference ((2005 :)
Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /
…で:
Clark Conference ((2005 :); Deng, Duen-Min.; Lin, Hanti.; SpringerLink (Online service); Yang, Syraya Chin-Mu.
言語・文字資料 (印刷物)
: 単行資料
[NT 5500209] Language:
eng
出版者:
Imprint: Springer,; Springer Berlin Heidelberg :
出版地:
Berlin, Heidelberg :
出版年:
2016.
国際標準図書番号 (ISBN) :
9783662483565; 9783662483572
利用できること
:
0 利用可能複本
|
0 利用可能複本 貸出について
|
0 利用可能複本 予約について
~に基づいて 0 論評
補助記号
Close
補助記号
Close
貨幣
:
¥
£
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
:
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
:
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
:
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
個人のSDIを保存する
Export
受取館
処理
...
パスワードを変更する
ログイン