國立高雄大學圖資館 |

查詢結果 [ subject:"Logic programming"]

123 筆 (0.027s)· 頁 1 of 13 • 1 2 3 4 5 ... 13

1.

Inductive logic programming11th inte...

~
(1998 :)
- Inductive logic programming11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings /
- by: (1998 :); Rouveirol, Celine.; Sebag, Michele.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540425380
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Logic based program synthesis and tr...

~
(1998 :)
- Logic based program synthesis and transformation10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /
- by: (1998 :); Lau, Kung-Kiu.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540421276
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Logic for programming, artificial in...

~
(1998 :)
- Logic for programming, artificial intelligence, and reasoning8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
- by: (1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service); Voronkov, Andrei.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Berlin :
- 出版年: 2001
- ISBN: 9783540429579
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Logic programming17th international ...

~
(1998 :)
- Logic programming17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
- by: (1998 :); Codognet, Philippe.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540429357
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Logic based program synthesis and tr...

~
(1998 :)
- Logic based program synthesis and transformation11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /
- by: (1998 :); Pettorossi, Alberto.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540439158
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Logic programming18th International ...

~
(1998 :)
- Logic programming18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
- by: (1998 :); SpringerLink (Online service); Stuckey, Peter J.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540439301
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Inductive logic programming6th Inter...

~
(1998 :)
- Inductive logic programming6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers /
- by: (1998 :); Muggleton, Stephen.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540634942
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Inductive logic programming7th inter...

~
(1998 :)
- Inductive logic programming7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings /
- by: (1998 :); Dzeroski, Saso.; Lavrac Nada.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540635147
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Logic program synthesis and transfor...

~
(1998 :)
- Logic program synthesis and transformation6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings /
- by: (1998 :); Gallagher, John.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1997
- ISBN: 9783540627180
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Inductive logic programming8th inter...

~
(1998 :)
- Inductive logic programming8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings /
- by: (1998 :); Page, David.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1998
- ISBN: 9783540647386
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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