Jump to main content

yr 〜
yr

Search results 60

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)
Paper図書
Springerc2013.<M17-14-748>
National Diet Library
  • Subject HeadingConstraint programming (Computer science)--Congresses. CP

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)
Paper図書
Springer[2014]<M17-15-690>
National Diet Library
  • Subject HeadingConstraint programming (Computer science)--Congresses. Constraint programming (Compu...

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)
Paper図書
Springer[2014]<M17-15-1535>
National Diet Library
  • Subject HeadingLogic programming--Congresses. Constraint programming (Computer science)--Congresses.

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)
Paper図書
Springerc2011.<M17-12-1158>
National Diet Library
  • Subject HeadingConstraint 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)
Paper図書
Springerc2010.<M17-10-4363>
National Diet Library

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)
Paper図書
Springerc2013.<M17-14-817>
National Diet Library
  • Subject HeadingConstraint programming (Computer science)--Congresses. Natural language processing (...

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)
Paper図書
Springerc2009.<M17-10-1705>
National Diet Library

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)
Paper図書
Springer[2015]<M17-16-587>
National Diet Library
  • Subject HeadingConstraint programming (Computer science)--Congresses. Mathematical Logic and Formal...

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)
Paper図書
Springerc2011.<M17-12-423>
National Diet Library
  • Subject Heading...)--Congresses. 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)
Paper図書
Springerc2011.<M17-11-2452>
National Diet Library

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)
Paper図書
Springerc2007.<M17-07-2737>
National Diet Library

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)
Paper図書
Springerc2013.<M17-13-2779>
National Diet Library
  • Subject Heading...g--Congresses. Constraint programming (Computer science)--Congresses. Artificial intelligence--Cong...

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)
Paper図書
Springerc2006.<M17-07-183>
National Diet Library

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)
Paper図書
Springerc2012.<M17-12-4084>
National Diet Library
  • Subject Heading...g--Congresses. Constraint programming (Computer science)--Congresses. Artificial intelligence--Cong...

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)
Paper図書
Springerc2008.<M17-09-798>
National Diet Library

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)
Paper図書
Springer[2015]<M17-16-345>
National Diet Library
  • Subject HeadingConstraint programming (Computer science)--Congresses. Combinatorial optimization--D...

Recent advances in constraints : 11th annual ERCIM international workshop on constraint solving and contraint [i.e. constraint] logic programming, CSCLP 2006 : Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers. : tutorial on hybrid algorithms : Jun 2006, Caparica, Portugal. (Lecture Notes in Computer Science ; 4651. Lecture Notes in Artificial Intelligence)

Recent advances in constraints : 11th annual ERCIM international workshop on constraint solving and contraint [i.e. constraint] logic programming, CSCLP 2006 : Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers. : tutorial on hybrid algorithms : Jun 2006, Caparica, Portugal. (Lecture Notes in Computer Science ; 4651. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-1958>
National Diet Library

Principles and practice of constraint programming -- CP 2004 : 10th international conference, CP 2004 : Toronto, Canada, September 27-October 1, 2004 : proceedings. : Sep 2004, Toronto, Canada. (Lecture Notes in Computer Science ; 3258)

Principles and practice of constraint programming -- CP 2004 : 10th international conference, CP 2004 : Toronto, Canada, September 27-October 1, 2004 : proceedings. : Sep 2004, Toronto, Canada. (Lecture Notes in Computer Science ; 3258)
Paper図書
Springerc2004.<M17-05-125>
National Diet Library

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)
Paper図書
Springer[2014]<M17-15-1672>
National Diet Library
  • Subject Heading...t--Congresses. Constraint programming (Computer science)--Congresses. Declarative programming--Cong...

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)
Paper図書
Springer[2014]<M17-15-751>
National Diet Library
  • Subject Heading...g--Congresses. Constraint programming (Computer science)--Congresses. Artificial intelligence--Cong...
RSS