Theory and Applications of Satisfiability Testing (vol. # 3569) : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

>> Google Books

Theory and Applications of Satisfiability Testing (vol. # 3569) : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

フォーマット:

電子ブック

責任表示:

edited by Fahiem Bacchus, Toby Walsh

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2005

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 3569

書誌ID:

NB02217784

ISBN:

9783540316794 [3540316795]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/b137280

所蔵情報

タイトルが類似している資料

詳細

主題:	Algorithm Analysis and Problem Complexity; Artificial Intelligence (incl. Robotics); Computer Science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Numeric Computing; Operating Systems
分類・件名:	LCSH : Computer science FREE : Mathematical Logic and Foundations LCSH : Artificial intelligence FREE : Mathematical Logic and Formal Languages LCSH : Logic, Symbolic and mathematical FREE : Algorithm Analysis and Problem Complexity FREE : Computer Science FREE : Operating Systems LCSH : Operating systems (Computers) FREE : Artificial Intelligence (incl. Robotics) LCSH : Computer software FREE : Numeric Computing LCSH : Electronic data processing
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised … Hoos, Holger H., Mitchell, David G., SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Recent Advances in Constraints (vol. 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2005 … Hnich Brahim, Fages Francois, Rossi Francesca, Carlsson Mats, SpringerLink (Online service) Springer-Verlag GmbH.
2 電子ブック Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference SAT 2007 Lisbon Portugal May 28-31 2007 Proceedings Marques-Silva Joao, Sakallah Karem A., SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Theory and Applications of Satisfiability Testing ? SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings Strichman, Ofer, Szeider, Stefan, SpringerLink (Online service) Springer-Verlag Heidelberg Berlin
3 電子ブック Theory and Applications of Satisfiability Testing ?ESAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings Kleine Buning, Hans, Zhao, Xishun, SpringerLink (Online service) Springer-Verlag	9 電子ブック Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, … Carbonell, Jaime G., Rossi, Francesca, Fages, Francois, Siekmann, Jorg, Soliman, Sylvain, SpringerLink (Online service) Springer
4 電子ブック Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference Seattle WA USA August 12-152006 Proceedings Biere Armin, Gomes Carla P., SpringerLink (Online service) Springer-Verlag GmbH.	10 電子ブック Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Ong, Luke, SpringerLink (Online service) Springer-Verlag GmbH.
5 電子ブック Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings Sakallah, Karem A., Simon, Laurent, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	11 電子ブック Learning Theory (vol. # 3559) : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings Auer, Peter, Meir, Ron, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Recent Advances in Constraints (vol. # 3419) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, … Fages, Francois, Petcu, Adrian, Faltings, Boi, Rossi, Francesca, SpringerLink (Online service) Springer-Verlag GmbH.	12 電子ブック Algorithmic Learning Theory (vol. # 3734) : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings Jain, Sanjay, Tomita, Etsuji, Simon, Hans Ulrich, SpringerLink (Online service) Springer-Verlag GmbH.