語系:
繁體中文
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 (由大到小)
作者 (由小到大)
作者 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢名 (由小到大)
集叢名 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
Rating (由小到大)
Rating (由大到小)
查詢結果
[ subject:"Automatic theorem proving"]
16 筆 (0.0090s)
·
頁 1 of 2
•
1
2
1
.
A computational logic
~
Boyer Robert S.
A computational logic
by:
Boyer Robert S.; Moore J strother
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Academic Press, Inc.
出版地:
Orlando
出版年:
1979
ISBN:
0121229505
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
2
.
Automated theorem proving
~
Newborn, Monty
Automated theorem proving
by:
Newborn, Monty
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Springer
出版地:
Quebec
出版年:
2001
ISBN:
0387950753
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
3
.
Logic for computer science:foundatio...
~
GallierJean H.
Logic for computer science:foundations of automatic theorem proving
by:
GallierJean H.
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
John Wiley & Sons, Ltd.
出版地:
New York
出版年:
1987
ISBN:
0471615463
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
4
.
Proof technology and computation[ele...
~
Clark Conference ((2005 :)
Proof technology and computation[electronic resource] /
by:
Clark Conference ((2005 :); Schwichtenberg, Helmut, (1942-); Spies, Katharina.
書目-語言資料,印刷品
: Monograph/item
出版者:
IOS Press,
出版地:
Washington, DC :
出版年:
c2006.
ISBN:
1586036254; 9781586036256
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
5
.
Automated technology for verificatio...
~
Clark Conference ((2005 :)
Automated technology for verification and analysis[electronic resource] :13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings /
by:
Clark Conference ((2005 :); Finkbeiner, Bernd.; Pu, Geguang.; SpringerLink (Online service); Zhang, Lijun.
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2015.
ISBN:
9783319249520; 9783319249537
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
6
.
Mathematical knowledge management[el...
~
Asperti, Andrea.
Mathematical knowledge management[electronic resource] :third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
by:
Asperti, Andrea.; Bancerek, Grzegorz.; MKM 2004 ((2004 :); SpringerLink (Online service); Trybulec, Andrzej.
書目-電子資源
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
c2004.
ISBN:
9783540230298
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
7
.
Theorem proving in higher order logi...
~
Clark Conference ((2005 :)
Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
Clark Conference ((2005 :); Mohamed, Otmane Ait.; Munoz, Cesar.; SpringerLink (Online service); Tahar, Sofiene.
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Springer Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2008.
ISBN:
9783540710653; 9783540710677
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
8
.
Automated reasoning[electronic resou...
~
Clark Conference ((2005 :)
Automated reasoning[electronic resource] :7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings /
by:
Clark Conference ((2005 :); Demri, Stephane.; Kapur, Deepak.; SpringerLink (Online service); Weidenbach, Christoph.
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2014.
ISBN:
9783319085869; 9783319085876
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
9
.
Automated deduction in geometry[elec...
~
Botana, Francisco.
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
by:
Botana, Francisco.; Clark Conference ((2005 :); Quaresma, Pedro.; SpringerLink (Online service)
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2015.
ISBN:
9783319213613; 9783319213620
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
10
.
Automated reasoning with analytic ta...
~
Clark Conference ((2005 :)
Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
Clark Conference ((2005 :); De Nivelle, Hans.; SpringerLink (Online service)
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2015.
ISBN:
9783319243115; 9783319243122
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
小鍵盤
Close
符號表
Close
貨幣
:
¥
£
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
:
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
:
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
:
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
儲存至 管理 > OPAC > SDI維護
Export
取書館別
處理中
...
變更密碼
登入