國立高雄大學圖資館 |

查詢結果 [ subject:"Propositional calculus"]

9 筆 (0.03s)· 頁 1 of 1 • 1

1.

Theory and applications of satisfiab...

~
(1998 :)
- Theory and applications of satisfiability testing6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
- by: (1998 :); Giunchiglia, Enrico.; SpringerLink (Online service); Tacchella, Armando.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2004
- ISBN: 9783540208518
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.
- Handbook of satisfiability
- by: Biere, Armin.; Heule, Marijn, (1979-); Maaren, Hans van.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: IOS Press,
- 出版地: Amsterdam :
- 出版年: 2021
- ISBN: 9781643681603; 9781643681610
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Handbook of satisfiability

~
Biere, Armin.
- Handbook of satisfiability
- by: Biere, Armin.
- 書目-電子資源 : Monograph/item
- 出版者: IOS Press,
- 出版地: Washington, DC :
- 出版年: 2009
- ISBN: 9781586039295; 9781607503767
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Theory and applications of satisfiab...

~
(1998 :)
- Theory and applications of satisfiability testing - SAT 200912th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings /
- by: (1998 :); Kullmann, Oliver.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2009
- ISBN: 9783642027765; 9783642027772
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.

Theory and application of satisfiabi...

~
(1998 :)
- Theory and application of satisfiability testingSAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
- by: (1998 :); Sakallah, Karem A.; Simon, Laurent.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Springer-Verlag GmbH Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2011
- ISBN: 9783642215803; 9783642215810
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Theory and applications of satisfiab...

~
(1998 :)
- Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
- by: (1998 :); SpringerLink (Online service); Strichman, Ofer.; Szeider, Stefan.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Heidelberg Berlin,
- 出版地: Berlin, Heidelberg :
- 出版年: 2010
- ISBN: 9783642141850; 9783642141867
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Theory and Applications of Satisfiab...

~
(1998 :)
- Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
- by: (1998 :); Biere, Armin.; Gomes, Carla P.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2006
- ISBN: 9783540372066; 9783540372073
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.
- Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
- by: (1998 :); Bacchus, Fahiem.; SpringerLink (Online service); Walsh, Toby.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2005
- ISBN: 9783540262763; 9783540316794
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.
- Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
- by: (1998 :); Hoos, Holger H.; Mitchell, David G.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2005
- ISBN: 9783540278290; 9783540315803
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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