本文に飛ぶ

年 〜
年

検索結果 100 件

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>
国立国会図書館
  • 件名Constraint programming (Computer science)--Congresses. Constraint programming (Computer science)

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>
国立国会図書館
  • 件名Constraint programming (Computer science)--Congresses. M......cl. Robotics). Constraint programming (Computer science)

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>
国立国会図書館
  • 件名Constraint programming (Computer science)--Congresses. CP

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>
国立国会図書館
  • 件名Constraint programming (Computer science)--Congresses. C......ta processing. Constraint programming (Computer science)

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>
国立国会図書館
  • 件名Logic programming--Congresses. Constraint programming (Computer science)--Congresses.

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>
国立国会図書館
  • 件名...t--Congresses. Constraint programming (Computer science)--Congresses. D......g--Congresses. Constraint programming (Computer science) Declarative programming. Know...

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>
国立国会図書館
  • 件名...g--Congresses. Constraint programming (Computer science)--Congresses. A......ta processing. Constraint programming (Computer science)

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>
国立国会図書館
  • 件名Constraint programming (Computer science)--Congresses.

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 programming (Computer science) -- Congresses.

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>
国立国会図書館
  • 件名Constraint programming (Computer science)

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>
国立国会図書館
  • 件名Constraint programming (Computer science) $xCongresses.

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>
国立国会図書館
  • 件名Constraint programming (Computer science)--Congresses. Natural language...

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>
国立国会図書館
  • 件名Constraint programming (Computer science) -- Congresses.

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>
国立国会図書館
  • 件名...-- Congresses. Constraint programming (Computer science) -- Congresses.

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>
国立国会図書館
  • 件名...)--Congresses. Constraint programming (Computer science)--Congresses.

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>
国立国会図書館
  • 件名...g--Congresses. Constraint programming (Computer science)--Congresses. Artificial intel...

Principles and practice of constraint programming -- CP 2007 : 13th international conference, CP 2007 : Providence, RI, USA, September 23-27, 2007 : proceedings. : Sep 2007, Providence, RI. (Lecture Notes in Computer Science ; 4741)

Principles and practice of constraint programming -- CP 2007 : 13th international conference, CP 2007 : Providence, RI, USA, September 23-27, 2007 : proceedings. : Sep 2007, Providence, RI. (Lecture Notes in Computer Science ; 4741)
紙図書
Springerc2007.<M17-07-2737>
国立国会図書館
  • 件名Constraint programming (Computer science) -- Congresses.

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 9th international conference, CPAIOR 2012 : Nantes, France, May 28-June 1, 2012 : proceedings : 9th international conference on integration of artificial intelligence and operations research techniques in constraint programming : May 2012, Nantes, France. (Lecture Notes in Computer Science ; 7298)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 9th international conference, CPAIOR 2012 : Nantes, France, May 28-June 1, 2012 : proceedings : 9th international conference on integration of artificial intelligence and operations research techniques in constraint programming : May 2012, Nantes, France. (Lecture Notes in Computer Science ; 7298)
紙図書
Springerc2012.<M17-12-4084>
国立国会図書館
  • 件名...g--Congresses. Constraint programming (Computer science)--Congresses. Artificial intel...

Principles and practice of constraint programming -- CP 2006 : 12th international conference, CP 2006 : Nantes, France, September 25-29, 2006 : proceedings. : Sep 2006, Nantes, France. (Lecture Notes in Computer Science ; 4204)

Principles and practice of constraint programming -- CP 2006 : 12th international conference, CP 2006 : Nantes, France, September 25-29, 2006 : proceedings. : Sep 2006, Nantes, France. (Lecture Notes in Computer Science ; 4204)
紙図書
Springerc2006.<M17-07-183>
国立国会図書館
  • 件名Constraint programming (Computer science) -- Congresses.

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. : 12th meeting of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics : Jun 2007, Rocquencourt, France. (Lecture Notes in Computer Science ; 5129. Lecture Notes in Artificial Intelligence)

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. : 12th meeting of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics : Jun 2007, Rocquencourt, France. (Lecture Notes in Computer Science ; 5129. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-09-798>
国立国会図書館
  • 件名Constraint programming (Computer science) -- Congresses. Logic programm...
RSS