Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

>> Google Books

Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

フォーマット:

電子ブック

責任表示:

edited by Jaime G. Carbonell, Jorg Siekmann, Francois Fages, Francesca Rossi, Sylvain Soliman

言語:

英語

出版情報:

Berlin, Heidelberg : Springer, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5129

書誌ID:

NB02219654

ISBN:

9783540898122 [3540898123]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-89812-2

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers Carbonell, Jaime G., Riemsdijk, M. Birna, Baldoni, Matteo, Siekmann, Jorg, Winikoff, Michael, Son, Tran Cao, … Springer Berlin Heidelberg
2 電子ブック 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.	8 電子ブック Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings Carbonell, Jaime G., Miclet, Laurent, Siekmann, J¥org, Coste, Francois, Clark, Alexander, SpringerLink (Online service) Springer-Verlag
3 電子ブック Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming CSCLP 2006 Caparica Portugal … Azevedo Francisco, Fages Francois, Barahona Pedro, Rossi Francesca, SpringerLink (Online service) Springer-Verlag	9 電子ブック Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers Carbonell, Jaime G., Sadri, Fariba, Satoh, Ken, Siekmann, Jorg, SpringerLink (Online service) Springer
4 電子ブック 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.	10 電子ブック Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers Mariño, Julio, SpringerLink (Online service) Springer Berlin Heidelberg
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 電子ブック Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers Escobar, Santiago, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
6 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings Carbonell, Jaime G., Cervesato, Iliano, Voronkov, Andrei, Veith, Helmut, Siekmann, Jorg, SpringerLink (Online service) Springer	12 電子ブック Principles and Practice of Semantic Web Reasoning (vol. # 3703) : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, … Fages, Francois, Soliman, Sylvain, SpringerLink (Online service) Springer-Verlag GmbH.