語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
連至 進階查詢
**縮小範圍
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
查找有館藏的資料
精確檢索
關連的主題
10
20
50
關連性 (由小到大)
主題 (由小到大)
主題 (由大到小)
書刊名 (由小到大)
書刊名 (由大到小)
作者 (由小到大)
作者 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
語言 (由小到大)
語言 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢 (由小到大)
集叢 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
評價 (由小到大)
評價 (由大到小)
查詢結果
[ subject:"Decidability (Mathematical logic)"]
14 筆 (0.033s)
·
頁 1 of 2
•
1
2
1
.
Reachability problems12th Internatio...
~
(1998 :)
Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings /
by:
(1998 :); Potapov, Igor.; Reynier, Pierre-Alain.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2018
ISBN:
9783030002497; 9783030002503
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
2
.
Reachability problems13th Internatio...
~
(1998 :)
Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(1998 :); Filiot, Emmanuel.; Jungers, Raphael.; Potapov, Igor.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2019
ISBN:
9783030308056; 9783030308063
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
3
.
Reachability problems10th Internatio...
~
(1998 :)
Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(1998 :); Larsen, Kim Guldstrand.; Potapov, Igor.; SpringerLink (Online service); Srba, Jiri.
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2016
ISBN:
9783319459936; 9783319459943
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
4
.
Reachability problems15th Internatio...
~
(1998 :)
Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(1998 :); Bell, Paul C.; Potapov, Igor.; SpringerLink (Online service); Totzke, Patrick.
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2021
ISBN:
9783030897154; 9783030897161
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
5
.
Reachability problems8th Internation...
~
(1998 :)
Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(1998 :); Ouaknine, Joel.; Potapov, Igor.; SpringerLink (Online service); Worrell, James.
書目-語言資料,印刷品
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2014
ISBN:
9783319114385; 9783319114392
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
6
.
Reachability problems14th Internatio...
~
(1998 :)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(1998 :); Potapov, Igor.; Schmitz, Sylvain.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2020
ISBN:
9783030617387; 9783030617394
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
7
.
Undecidability, uncomputability, and...
~
Aguirre, Anthony.
Undecidability, uncomputability, and unpredictability
by:
Aguirre, Anthony.; Merali, Zeeya.; Sloan, David.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2021
ISBN:
9783030703530; 9783030703547
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
8
.
Reachability problems11th Internatio...
~
(1998 :)
Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(1998 :); Hague, Matthew.; Potapov, Igor.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2017
ISBN:
9783319670881; 9783319670898
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
9
.
Reachability problems6th Internation...
~
(1998 :)
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(1998 :); Finkel, Alain.; Leroux, Jerome.; Potapov, Igor.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Berlin Heidelberg :
出版地:
Berlin, Heidelberg :
出版年:
2012
ISBN:
9783642335112; 9783642335129
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
10
.
Reachability problems5th internation...
~
(1998 :)
Reachability problems5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(1998 :); Delzanno, Giorgio.; Potapov, Igor.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Springer-Verlag GmbH Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2011
ISBN:
9783642242878; 9783642242885
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
小鍵盤
Close
符號表
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
儲存至 管理 > OPAC > SDI維護
Export
取書館別
處理中
...
變更密碼
登入