國立高雄大學圖資館 |

查詢結果 [ subject:"Logic, Symbolic and mathematical"]

149 筆 (0.034s)· 頁 1 of 15 • 1 2 3 4 5 ... 15

1.

The Oxford Handbook of Philosophy of...

~
Oxford University Press.
- The Oxford Handbook of Philosophy of Mathematics and Logic
- by: Oxford University Press.; Shapiro, Stewart
- 書目-電子資源 : Monograph/item
- 出版者: Oxford University Press,
- 出版地: New York :
- 出版年: 2005
- ISBN: 0195148770
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Introduction to mathematical proofs ...

~
Roberts, Charles E., (1942-)
- Introduction to mathematical proofs :a transition /
- by: Roberts, Charles E., (1942-)
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: CRC Press,
- 出版地: Boca Raton :
- 出版年: 2010
- ISBN: 1420069551; 9781420069556
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

New essays on Tarski and philosophy

~
Patterson, Douglas.
- New essays on Tarski and philosophy
- by: Patterson, Douglas.; Tarski, Alfred.
- 書目-電子資源 : Monograph/item
- 出版者: Oxford University Press,
- 出版地: Oxford :
- 出版年: 2008
- ISBN: 0191712272; 9780191712272
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Automated deduction-CADE-1818th Inte...

~
(1998 :)
- Automated deduction-CADE-1818th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
- by: (1998 :); SpringerLink (Online service); Voronkov, A. (1959-)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540439318
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Frontiers of combining systems4th in...

~
(1998 :)
- Frontiers of combining systems4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings /
- by: (1998 :); Armando, Alessandro.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540433811
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Grammatical inferencealgorithms and ...

~
(1998 :)
- Grammatical inferencealgorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings /
- by: (1998 :); Adriaans, Pieter.; Fernau, Henning.; SpringerLink (Online service); Zaanen, Menno van.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540442394
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Logics in artificial intelligence8th...

~
(1998 :)
- Logics in artificial intelligence8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings /
- by: (1998 :); Flesca, Sergio.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540441908
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Automated deduction, CADE-1414th Int...

~
(1998 :)
- Automated deduction, CADE-1414th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
- by: (1998 :); McCune, William.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540631040
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Computational logic and proof theory...

~
(1998 :)
- Computational logic and proof theory5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings /
- by: (1998 :); Gottlob, Georg.; Leitsch, Alexander.; Mundici, Daniele.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540633853
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Artificial intelligence and symbolic...

~
(1998 :)
- Artificial intelligence and symbolic computationInternational Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /
- by: (1998 :); Calmet, Jacques.; Plaza, Jan.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1998
- ISBN: 9783540649601
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料