語系:
繁體中文
English
Francais
說明(常見問題)
回圖書館
登入
連至 進階查詢
限制條件
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
BD_P
BOOK
CD_P
一般圖書
AC錄音帶
VC錄影帶
DVD影片光碟(個人)條碼91開頭
DVD影片光碟
CD音樂光碟
多媒體光碟
VCD影片光碟
教師著作
參考著作
博碩士論文
參考資料
期刊
裝訂期刊
地圖
電子書
平板電腦
特教資源圖書
查找有館藏的資料
10
20
50
關連性 (由小到大)
關連性 (由大到小)
主題 (由小到大)
主題 (由大到小)
書名 (由小到大)
書名 (由大到小)
作者 (由小到大)
作者 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
語言 (由小到大)
語言 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢 (由小到大)
集叢 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
評價 (由小到大)
評價 (由大到小)
查詢結果
[ subject:"511.3"]
17 筆 (0.039s)
·
跳頁 1 of 1
•
1
1
.
Mathematical problem solving
by:
Schoenfeld, Alan H
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Academic Press
出版地:
Orlando, Fla.
出版年:
1985
ISBN:
0126288704
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
2
.
Uncertain rule-based fuzzy logic systems : introduction and new directions
by:
Mendel, Jerry M.
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Prentice Hall PTR
出版地:
Upper Saddle River, NJ
出版年:
2001
ISBN:
0130409693
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
3
.
Mathematical logic and Hilbert's -symbol
~
Leisenring, A. C
Mathematical logic and Hilbert's -symbol
by:
Leisenring, A. C
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Gordon and Breach
出版地:
New York
出版年:
1969
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
4
.
Recursion theory : its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979
by:
Drake, Frank R; Logic Colloquium ((1990); Wainer, S. S
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Cambridge UniversityPress
出版地:
New York
出版年:
1980
ISBN:
052123543X
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
5
.
Model theory for modal logic : Kripke models for modal predicate calculi
by:
Bowen, Kenneth A
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
D. Reidel Pub. Co.
出版地:
Dordrecht, Holland
出版年:
1979
ISBN:
9027709297
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
6
.
Grundzuge der theoretischen Logik
by:
Ackermann, W. ((Wilhelm),) (1896-); Hilbert, David, (1862-1943)
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Springer
出版地:
Berlin
出版年:
1972
ISBN:
3540058435
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
7
.
Course of mathematical logic.
by:
Frass, Roland
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Reidel
出版地:
Dordrecht
出版年:
1973
ISBN:
9027702683; 9027702691
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
8
.
Mathematical logic
by:
Kleene, Stephen Cole, (1909-)
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Dover Publications
出版地:
Mineola, N.Y.
出版年:
2002
ISBN:
0486425339
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
9
.
High-level Petri nets : theory and application
by:
Jensen,, K. (1950-); Rozenberg,, Grzegorz
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Springer-Verlag
出版地:
New York
出版年:
1991
ISBN:
038754125X; 354054125X
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
10
.
Algebraic complexity theory
by:
Burgisser,, Peter (1962-); Clausen,, Michael; Shokrollahi,, Mohammad Amin
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Springer
出版地:
New York
出版年:
1997
ISBN:
3540605827
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
11
.
Fuzzy sets and their application to clustering and training
by:
Dumitrescu, D.; Jain, L.C.; Lazzerini, B.
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
CRC Press
出版地:
United States
出版年:
2000
ISBN:
0849305896
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
12
.
Abstract computing machines : a lambda calculus perspective
by:
Kluge, Werner
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Springer
出版地:
New York
出版年:
2005
ISBN:
3540211462
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
13
.
Truth, syntax and modality. : Procee...
~
Conference on Alternative Semantics ((1970)
Truth, syntax and modality. : Proceedings.
by:
Conference on Alternative Semantics ((1970); Leblanc, Hugues, (1924-)
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
North-Holland
出版地:
Amsterdam
出版年:
1984
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
14
.
The classical decision problem
by:
Boerger,, Egon, (1946-); Gradel,, Erich, (1958-); Gurevich,, Yuri.
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Springer
出版地:
New York
出版年:
1997
ISBN:
038757073X; 354057073X
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
15
.
Nonstandard analysis in practice
by:
Diener,, Francine; Diener,, M
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
Springer
出版地:
New York
出版年:
1995
ISBN:
3540602976
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
16
.
Algorithms and theory of computation handbook
by:
Atallah,, Mikhail J.
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
CRC Press
出版地:
Boca Raton
出版年:
1999
ISBN:
0849326494
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
17
.
Reasoning about theoretical entities
by:
Forster, T. E.
書目-語言資料,印刷品
: 單行本
語文別:
Engleză
出版者:
World Scientific
出版地:
River Edge, N.J.
出版年:
2003
ISBN:
9812385673; 9812386017
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
筆 0 讀者評論
小鍵盤
Close
符號表
Close
貨幣
：
￥
￡
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
：
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
：
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
：
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
儲存檢索策略
Export
取書館別
處理中
...
變更密碼
登入
