本文に飛ぶ

年 〜
年

検索結果 302 件

Principles and practice of constraint programming : 20th international conference, CP 2014 : Lyon, France, September 8-12, 2014 : proceedings : Sep 2014, Lyon, France. (Lecture Notes in Computer Science ; 8656)

Principles and practice of constraint programming : 20th international conference, CP 2014 : Lyon, France, September 8-12, 2014 : proceedings : Sep 2014, Lyon, France. (Lecture Notes in Computer Science ; 8656)
紙図書
Springer[2014]<M17-15-690>
国立国会図書館

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)
紙図書
Springer[2015]<M17-16-587>
国立国会図書館
  • 要約等...computing with constraints, including theory, algorithms...

Principles and practice of constraint programming : 19th international conference, CP 2013 : Uppsala, Sweden, September 16-20, 2013 : proceedings : Sep 2013, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8124)

Principles and practice of constraint programming : 19th international conference, CP 2013 : Uppsala, Sweden, September 16-20, 2013 : proceedings : Sep 2013, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8124)
紙図書
Springerc2013.<M17-14-748>
国立国会図書館

Integration of AI and OR techniques in constraint programming : 12th international conference, CPAIOR 2015 : Barcelona, Spain, May 18-22, 2015 : proceedings : 12th international conference on integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2015, Barcelona, Spain. (Lecture Notes in Computer Science ; 9075)

Integration of AI and OR techniques in constraint programming : 12th international conference, CPAIOR 2015 : Barcelona, Spain, May 18-22, 2015 : proceedings : 12th international conference on integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2015, Barcelona, Spain. (Lecture Notes in Computer Science ; 9075)
紙図書
Springer[2015]<M17-16-345>
国立国会図書館

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-1672>
国立国会図書館

Integration of AI and OR techniques in constraint programming : 11th international conference, CPAIOR 2014 : Cork, Ireland, May 19-23, 2014 : proceedings : 11th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2014, Cork, Ireland. (Lecture Notes in Computer Science ; 8451)

Integration of AI and OR techniques in constraint programming : 11th international conference, CPAIOR 2014 : Cork, Ireland, May 19-23, 2014 : proceedings : 11th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2014, Cork, Ireland. (Lecture Notes in Computer Science ; 8451)
紙図書
Springer[2014]<M17-15-751>
国立国会図書館

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)
紙図書
Springer[2014]<M17-15-1535>
国立国会図書館

Principles and practice of constraint programming -- CP 2011 : 17th international conference, CP 2011 : Perugia, Italy, September 12-16, 2011 : proceedings : Sep 2011, Perugia, Italy. (Lecture Notes in Computer Science ; 6876)

Principles and practice of constraint programming -- CP 2011 : 17th international conference, CP 2011 : Perugia, Italy, September 12-16, 2011 : proceedings : Sep 2011, Perugia, Italy. (Lecture Notes in Computer Science ; 6876)
紙図書
Springerc2011.<M17-12-1158>
国立国会図書館

Principles and practice of constraint programming -- CP 2010 : 16th international conference, CP 2010 : St. Andrews, Scotland, September 6-10, 2010 : proceedings. : 16th annual international conference on the principles and practice of constraint programming : Sep 2010, St. Andrews, UK. (Lecture Notes in Computer Science ; 6308)

Principles and practice of constraint programming -- CP 2010 : 16th international conference, CP 2010 : St. Andrews, Scotland, September 6-10, 2010 : proceedings. : 16th annual international conference on the principles and practice of constraint programming : Sep 2010, St. Andrews, UK. (Lecture Notes in Computer Science ; 6308)
紙図書
Springerc2010.<M17-10-4363>
国立国会図書館

Constraint handling rules : current research topics. : workshops on constraint handling rules : ------. (Lecture Notes in Computer Science ; 5388. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)

Constraint handling rules : current research topics. : workshops on constraint handling rules : ------. (Lecture Notes in Computer Science ; 5388. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)
紙図書
Springerc2008.<M17-09-789>
国立国会図書館

Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008 : Rome, Italy, June 18-20, 2008 : revised selected papers. : 13th meeting of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM) : Jun 2008, Rome, Italy. (Lecture Notes in Computer Science ; 5655. Lecture Notes in Artificial Intelligence)

Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008 : Rome, Italy, June 18-20, 2008 : revised selected papers. : 13th meeting of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM) : Jun 2008, Rome, Italy. (Lecture Notes in Computer Science ; 5655. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-1588>
国立国会図書館
  • 著者標目ERCIM. Working Group on Constraints. Oddi, Angelo. Fages, Françoi...

Principles and practice of constraint programming : 14th international conference, CP 2008 : Sydney, Australia, September 14-18, 2008 : proceedings. : Sep 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5202)

Principles and practice of constraint programming : 14th international conference, CP 2008 : Sydney, Australia, September 14-18, 2008 : proceedings. : Sep 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5202)
紙図書
Springerc2008.<M17-09-208>
国立国会図書館

Principles and practice of constraint programming -- CP 2009 : 15th international conference, CP 2009 : Lisbon, Portugal, September 20-24, 2009 : proceedings. : Sep 2009, Lisbon, Portugal. (Lecture Notes in Computer Science ; 5732)

Principles and practice of constraint programming -- CP 2009 : 15th international conference, CP 2009 : Lisbon, Portugal, September 20-24, 2009 : proceedings. : Sep 2009, Lisbon, Portugal. (Lecture Notes in Computer Science ; 5732)
紙図書
Springerc2009.<M17-10-1705>
国立国会図書館

Fast Algorithms for Stochastic Model Predictive Control with Chance Constraints via Policy Optimization

Fast Algorithms for Stochastic Model Predictive Control with Chance Constraints via Policy Optimization
デジタル博士論文障害者向け資料あり
Zhang, Jingyu2023-03-23
インターネットで読める国立国会図書館全国の図書館

Constraint solving and language processing : 7th international workshop, CSLP 2012 : Orléans, France, September 13-14, 2012 : revised selected papers : Sep 2012, Orléans, France. (Lecture Notes in Computer Science ; 8114)

Constraint solving and language processing : 7th international workshop, CSLP 2012 : Orléans, France, September 13-14, 2012 : revised selected papers : Sep 2012, Orléans, France. (Lecture Notes in Computer Science ; 8114)
紙図書
Springerc2013.<M17-14-817>
国立国会図書館

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)
紙図書
Springerc2010.<M17-11-150>
国立国会図書館
  • 件名Constraints (Artificial intelligence) -- ...

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)
紙図書
Springerc2011.<M17-12-423>
国立国会図書館

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)
紙図書
Springerc2011.<M17-11-2452>
国立国会図書館

パズルの解法アルゴリズムと情報推移に伴うエンターテインメントの解析

パズルの解法アルゴリズムと情報推移に伴うエンターテインメントの解析
デジタル博士論文障害者向け資料あり
劉, 暢2022-09
国立国会図書館

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th international conference, CPAIOR 2013 : Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings : 10th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : main CPAIOR 2013 : May 2013, Yorktown Heights, NY. (Lecture Notes in Computer Science ; 7874)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th international conference, CPAIOR 2013 : Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings : 10th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : main CPAIOR 2013 : May 2013, Yorktown Heights, NY. (Lecture Notes in Computer Science ; 7874)
紙図書
Springerc2013.<M17-13-2779>
国立国会図書館
RSS