國立高雄大學圖資館 |

查詢結果 [ subject:"Constraints (Artificial intelligence)"]

17 筆 (0.031s)· 頁 1 of 2 • 1 2

1.

Practice and theory of automated tim...

~
(1998 :)
- Practice and theory of automated timetabling IIIthird international conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers /
- by: (1998 :); Burke, Edmund.; Erben, Wilhelm.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540424215
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Practice and theory of automated tim...

~
(1998 :)
- Practice and theory of automated timetabling IIsecond international conference, PATAT'97, Toronto, Canada, August 20-22, 1997 : selected papers /
- by: (1998 :); Burke, Edmund.; Carter, Michael.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 1998
- ISBN: 9783540649793
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Practice and theory of automated tim...

~
(1998 :)
- Practice and theory of automated timetabling.4th international conference, PATAT 2002, Gent, Belgium, August 21-23, 2002 : selected revised papers /IV
- by: (1998 :); Burke, Edmund, (Ph. D.); De Causmaecker, Patrick, (1956-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2003
- ISBN: 9783540406990
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Complexity classifications of Boolea...

~
Creignou, Nadia.
- Complexity classifications of Boolean constraint satisfaction problems /
- by: Creignou, Nadia.; Khanna, Sanjeev.; Sudan, Madhu.
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: Society for Industrial and Applied Mathematics,
- 出版地: Philadelphia :
- 出版年: 2001
- ISBN: 0898714796
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Planning, scheduling and constraint ...

~
Castillo, Luis, (1969-)
- Planning, scheduling and constraint satisfaction :from theory to practice /
- by: Castillo, Luis, (1969-)
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: IOS Press,
- 出版地: Washington, DC :
- 出版年: 2005
- ISBN: 1586034847
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.
- Constraint decision-making systems in engineering
- by: Das, Santosh Kumar ((Professor of computer science).); Dey, Nilanjan, (1984-.); IGI Global.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: IGI Global,
- 出版地: Hershey, Pennsylvania :
- 出版年: 2023
- ISBN: 1668473437; 9781668473436; 9781668473450
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Complexity classifications of Boolea...

~
Creignou, Nadia.
- Complexity classifications of Boolean constraint satisfaction problems
- by: Creignou, Nadia.; Khanna, Sanjeev.; Sudan, Madhu.
- 書目-電子資源 : Monograph/item
- 出版者: Society for Industrial and Applied Mathematics,
- 出版地: Philadelphia :
- 出版年: 2001
- ISBN: 0898714796
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Bridging constraint satisfaction and...

~
Petke, Justyna.
- Bridging constraint satisfaction and Boolean satisfiability
- by: Petke, Justyna.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2015
- ISBN: 9783319218090; 9783319218106
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Efficient solving of large arithmeti...

~
Herde, Christian.
- Efficient solving of large arithmetic constraint systems with complex Boolean structureproof engines for the analysis of hybrid discrete-continuous systems /
- by: Herde, Christian.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden,
- 出版地: Wiesbaden :
- 出版年: 2011
- ISBN: 9783834814944; 9783834899491
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Integration of AI and OR techniques ...

~
(1998 :)
- Integration of AI and OR techniques in constraint programming for combinatorial optimization problemsfirst international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings /
- by: (1998 :); Regin, Jean-Charles.; Rueher, Michel.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: New York :
- 出版年: 2004
- ISBN: 9783540218364
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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