國立高雄大學圖資館 |

查詢結果 [ subject:"Computer logic"]

154 筆 (0.026s)· 頁 1 of 16 • 1 2 3 4 5 ... 16

1.

Computer science logic16th internati...

~
(1998 :)
- Computer science logic16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /
- by: (1998 :); Bradfield, Julian.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540442400
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Computer science logic10th internati...

~
(1998 :)
- Computer science logic10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers /
- by: (1998 :); Bezem, Marc.; Dalen, Dirk van.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540631729
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Computer science logic11th internati...

~
(1998 :)
- Computer science logic11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /
- by: (1998 :); Nielsen, Mogens, (1949-); SpringerLink (Online service); Thomas, Wolfgang, (1947-)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1998
- ISBN: 9783540645702
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Computer science logic12th internati...

~
(1998 :)
- Computer science logic12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings /
- by: (1998 :); Gottlob, Georg.; Grandjean, Etienne.; Seyr, Katrin.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1999
- ISBN: 9783540659228
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Computational logic - CL 2000First I...

~
(1998 :)
- Computational logic - CL 2000First International Conference, London, UK, July 24-28, 2000 : proceedings /
- by: (1998 :); Lloyd, John Wylie.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2000
- ISBN: 9783540677970
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Computer science logic14th Internati...

~
(1998 :)
- Computer science logic14th International Workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 : proceedings /
- by: (1998 :); Clote, Peter G.; Schwichtenberg, Helmut.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2000
- ISBN: 9783540678953
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Computer science logic15th internati...

~
(1998 :)
- Computer science logic15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
- by: (1998 :); Fribourg, Laurent.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540425540
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Computer science logic18th internati...

~
European Association for Computer Science Logic. (2004 :)
- Computer science logic18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
- by: European Association for Computer Science Logic. (2004 :); Marcinkowski, Jerzy, (1965-); SpringerLink (Online service); Tarlecki, Andrzej.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2004
- ISBN: 9783540230243
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Computer science logic17th internati...

~
(1998 :)
- Computer science logic17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /
- by: (1998 :); Baaz, Matthias.; Makowsky, Johann A., (1948-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2003
- ISBN: 9783540408017
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Types for proofs and programsInterna...

~
(1998 :)
- Types for proofs and programsInternational Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
- by: (1998 :); Gimenez, Eduardo.; Paulin-Mohring, Christine.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1998
- ISBN: 9783540651376
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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