年 〜
年

検索結果 257 件

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings : May 2022, Kyoto, Japan. (Lecture Notes in Computer Science ; 13215)
紙図書
Springer[2022]<M17-24-12>
国立国会図書館全国の図書館

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings : May 2018, Nagoya, Japan. (Lecture Notes in Computer Science ; 10818)
紙図書
Springer[2018]<M17-20-852>
国立国会図書館

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010 : Hagenberg, Austria, July 23-25, 2010 : revised selected papers. : RISC summer 2010 : LOPSTR 2010 conference : Jul 2010, Hagenberg, Austria. (Lecture Notes in Computer Science ; 6564)

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010 : Hagenberg, Austria, July 23-25, 2010 : revised selected papers. : RISC summer 2010 : LOPSTR 2010 conference : Jul 2010, Hagenberg, Austria. (Lecture Notes in Computer Science ; 6564)
紙図書
Springerc2011.<M17-11-2290>
国立国会図書館
  • 件名Logic programming -- Congresses.

Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : joint LPNMR-ADT doctoral consortium : 1st joint ADT/LPNMR 2015 doctoral consortium : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9345. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : joint LPNMR-ADT doctoral consortium : 1st joint ADT/LPNMR 2015 doctoral consortium : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9345. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2015]<M17-16-766>
国立国会図書館

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>
国立国会図書館

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12073)
紙図書
Springer[2020]<M17-22-586>
国立国会図書館全国の図書館

Logic programming and nonmonotonic reasoning : 12th international conference, LPNMR 2013 : Corunna, Spain, September 15-19, 2013 : proceedings : LPNMR-2013 conference : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8148. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 12th international conference, LPNMR 2013 : Corunna, Spain, September 15-19, 2013 : proceedings : LPNMR-2013 conference : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8148. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-764>
国立国会図書館

Inductive logic programming : 22nd international conference, ILP 2012 : Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers : Sep 2012, Dubrovnik, Croatia. (Lecture Notes in Computer Science ; 7842. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 22nd international conference, ILP 2012 : Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers : Sep 2012, Dubrovnik, Croatia. (Lecture Notes in Computer Science ; 7842. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-13-3370>
国立国会図書館

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings : Mar 2016, Kochi, Japan. (Lecture Notes in Computer Science ; 9613)
紙図書
Springer[2016]<M17-20-870>
国立国会図書館

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008 : Valencia, Spain, July 17-18, 2008 : revised selected papers. : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5438)

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008 : Valencia, Spain, July 17-18, 2008 : revised selected papers. : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5438)
紙図書
Springerc2009.<M17-09-1304>
国立国会図書館
  • 件名Logic programming -- Congresses.

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)
紙図書
Springerc2010.<M17-11-267>
国立国会図書館
  • 件名Logic programming -- Congresses. Electronic books.

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings : FLOPS meetings : Jun 2014, Kanazawa, Japan. (Lecture Notes in Computer Science ; 8475)
紙図書
Springer[2014]<M17-15-1475>
国立国会図書館

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)
紙図書
Springerc2008.<M17-09-1306>
国立国会図書館
  • 件名Logic programming -- Congresses.

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers. : Aug 2007, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 4915)

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers. : Aug 2007, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 4915)
紙図書
Springerc2008.<M17-08-943>
国立国会図書館
  • 件名Logic programming -- Congresses.

Inductive logic programming : 20th international conference, ILP 2010 : Florence, Italy, June 27-30, 2010 : revised papers. : Jun 2010, Florence, Italy. (Lecture Notes in Computer Science ; 6489. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 20th international conference, ILP 2010 : Florence, Italy, June 27-30, 2010 : revised papers. : Jun 2010, Florence, Italy. (Lecture Notes in Computer Science ; 6489. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-11-3202>
国立国会図書館
  • 件名Logic programming -- Congresses. Induction (Logic) -- Congres...

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011 : Vancouver, Canada, May 16-19, 2011 : proceedings. : LPNMR-11 : May 2011, Vancouver, Canada. (Lecture Notes in Computer Science ; 6645. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011 : Vancouver, Canada, May 16-19, 2011 : proceedings. : LPNMR-11 : May 2011, Vancouver, Canada. (Lecture Notes in Computer Science ; 6645. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-11-2321>
国立国会図書館
  • 件名Logic programming -- Congresses. Nonmonotonic reasoning -- Co...

Inductive logic programming : 19th international conference, ILP 2009 : Leuven, Belgium, July 02-04, 2009 : revised papers. : ILP-2009 : Jul 2009, Leuven, Belgium. (Lecture Notes in Computer Science ; 5989. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 19th international conference, ILP 2009 : Leuven, Belgium, July 02-04, 2009 : revised papers. : ILP-2009 : Jul 2009, Leuven, Belgium. (Lecture Notes in Computer Science ; 5989. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-11-139>
国立国会図書館
  • 件名Logic programming -- Congresses. Induction (Logic) -- Congres...

Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012 : Leuven, Belgium, September 18-20, 2012 : revised selected papers : LOPSTR 2012 conference : Sep 2012, Leuven, Belgium. (Lecture Notes in Computer Science ; 7844)

Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012 : Leuven, Belgium, September 18-20, 2012 : revised selected papers : LOPSTR 2012 conference : Sep 2012, Leuven, Belgium. (Lecture Notes in Computer Science ; 7844)
紙図書
Springerc2013.<M17-13-2769>
国立国会図書館

Inductive logic programming : 16th international conference, ILP 2006 : Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers. : annual meeting of ILP : Aug 2006, Santiago de Compostela, Spain. (Lecture Notes in Computer Science ; 4455. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 16th international conference, ILP 2006 : Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers. : annual meeting of ILP : Aug 2006, Santiago de Compostela, Spain. (Lecture Notes in Computer Science ; 4455. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2007.<M17-07-2814>
国立国会図書館
  • 件名Logic programming -- Congresses.

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. : Sep 2007, Porto, Portugal. (Lecture Notes in Computer Science ; 4670)
紙図書
Springerc2007.<M17-08-1232>
国立国会図書館
  • 件名Logic programming -- Congresses.