Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming CSCLP 2006 Caparica Portugal June 26-282006 Revised Selected and Invited Papers

>> Google Books

Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming CSCLP 2006 Caparica Portugal June 26-282006 Revised Selected and Invited Papers

フォーマット:

電子ブック

責任表示:

edited by

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag, 2007

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4651

書誌ID:

NB02218908

ISBN:

9783540738176 [3540738177]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-73817-6

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Numeric Computing; Programming Languages Compilers Interpreters
分類・件名:	LCSH : Electronic data processing FREE : Mathematical Logic and Formal Languages FREE : Logics and Meanings of Programs FREE : Programming Languages Compilers Interpreters LCSH : Computer software FREE : Numeric Computing FREE : Algorithm Analysis and Problem Complexity LCSH : Artificial intelligence LCSH : Logic design FREE : Computer Science LCSH : Computer science FREE : Artificial Intelligence (incl. Robotics)
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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.	7 電子ブック Logic Programming : 23rd International Conference ICLP 2007 Porto Portugal September 8-13 2007. Proceedings Dahl Veronica, Niemela Ilkka, SpringerLink (Online service) Springer-Verlag
2 電子ブック Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June … Oddi, Angelo, Fages, Francois, Rossi, Francesca, SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Types for Proofs and Programs : International Workshop TYPES 2006 Nottingham UK April 18-212006 Revised Selected Papers Altenkirch Thorsten, McBride Conor, SpringerLink (Online service) Springer-Verlag
3 電子ブック 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	9 電子ブック Functional and Logic Programming : 8th International Symposium FLOPS 2006 Fuji-Susono Japan April 24-262006 Proceedings Hagiya Masami, Wadler Philip, SpringerLink (Online service) Springer-Verlag GmbH.
4 電子ブック 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.	10 電子ブック FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference Kolkata India December 13-152006 Proceedings Arun-Kumar S., Garg Naveen, SpringerLink (Online service) Springer-Verlag GmbH.
5 電子ブック Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, … Larrosa, Javier, O’Sullivan, Barry, SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Logic Programming (vol. 4079) : 22nd International Conference ICLP 2006 Seattle WA USA August 17-202006 Proceedings Etalle Sandro, Truszczynski Miroslav, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Principle and Practice of Constraint Programming - CP 2006 : 12th International Conference CP 2006 Nantes France September 25-292006 Proceedings Benhamou Fr-d-ric, SpringerLink (Online service) Springer-Verlag GmbH.	12 電子ブック Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected … Jermann, Christophe, Sam, Djamila, Neumaier, Arnold, SpringerLink (Online service) Springer-Verlag GmbH.