國立高雄大學圖資館 |

Search result for [ subject:"Propositional calculus"]

9 records (0.035s)· Page 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.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2004
- ISBN: 9783540208518
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Handbook of satisfiability
- by: Biere, Armin.; Heule, Marijn, (1979-); Maaren, Hans van.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: IOS Press,
- Place of Publication: Amsterdam :
- Year of Publication: 2021
- ISBN: 9781643681603; 9781643681610
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Handbook of satisfiability

~
Biere, Armin.
- Handbook of satisfiability
- by: Biere, Armin.
- Electronic resources : Monograph/item
- Publisher: IOS Press,
- Place of Publication: Washington, DC :
- Year of Publication: 2009
- ISBN: 9781586039295; 9781607503767
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2009
- ISBN: 9783642027765; 9783642027772
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Springer-Verlag GmbH Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2011
- ISBN: 9783642215803; 9783642215810
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Heidelberg Berlin,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2010
- ISBN: 9783642141850; 9783642141867
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540372066; 9783540372073
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540262763; 9783540316794
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540278290; 9783540315803
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items