Jump to main content

yr 〜
yr

Search results 228

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

Functional and logic programming : 16th international symposium, FLOPS 2022 : Kyoto, Japan, May 10-12, 2022 : proceedings. (Lecture Notes in Computer Science ; 13215)
Paper図書
Springer[2022]<M17-24-12>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...)--Congresses. Logic programming--Congresses. Functional programming (Compu...

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

Functional and logic programming : 14th international symposium, FLOPS 2018 : Nagoya, Japan, May 9-11, 2018 : proceedings. (Lecture Notes in Computer Science ; 10818)
Paper図書
Springer[2018]<M17-20-852>
National Diet Library
  • Subject Heading...)--Congresses. Logic programming--Congresses. Functional programming (Compu...

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010 : Hagenberg, Austria, July 23-25, 2010 : revised selected papers. (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. (Lecture Notes in Computer Science ; 6564)
Paper図書
Springerc2011.<M17-11-2290>
National Diet Library

Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings. (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. (Lecture Notes in Computer Science ; 9345. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-766>
National Diet Library
  • Subject HeadingLogic programming--Congresses. Nonmonotonic reasoning--Congr...

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers. (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. (Lecture Notes in Computer Science ; 8901)
Paper図書
Springer[2014]<M17-15-1535>
National Diet Library
  • Subject HeadingLogic programming--Congresses. Constraint programming (Compu...

Logic programming and nonmonotonic reasoning : 12th international conference, LPNMR 2013 : Corunna, Spain, September 15-19, 2013 : proceedings. (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. (Lecture Notes in Computer Science ; 8148. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-764>
National Diet Library
  • Subject HeadingLogic programming--Congresses. Nonmonotonic reasoning--Congr...

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

Functional and logic programming : 15th international symposium, FLOPS 2020 : Akita, Japan, September 14-16, 2020 : proceedings. (Lecture Notes in Computer Science ; 12073)
Paper図書
Springer[2020]<M17-22-586>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...)--Congresses. Logic programming--Congresses. Programmation fonctionnelle--...

Inductive logic programming : 22nd international conference, ILP 2012 : Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers. (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. (Lecture Notes in Computer Science ; 7842. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-13-3370>
National Diet Library
  • Subject HeadingLogic programming--Congresses. Machine learning--Congresses....

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

Functional and logic programming : 13th international symposium, FLOPS 2016 : Kochi, Japan, March 4-6, 2016 : proceedings. (Lecture Notes in Computer Science ; 9613)
Paper図書
Springer[2016]<M17-20-870>
National Diet Library
  • Subject Heading...)--Congresses. Logic programming--Congresses. Functional programming (Compu...

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008 : Valencia, Spain, July 17-18, 2008 : revised selected papers. (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. (Lecture Notes in Computer Science ; 5438)
Paper図書
Springerc2009.<M17-09-1304>
National Diet Library

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. (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. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)
Paper図書
Springerc2010.<M17-11-267>
National Diet LibraryOther Libraries in Japan

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers. (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. (Lecture Notes in Computer Science ; 4915)
Paper図書
Springerc2008.<M17-08-943>
National Diet Library

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

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. (Lecture Notes in Computer Science ; 5366)
Paper図書
Springerc2008.<M17-09-1306>
National Diet LibraryOther Libraries in Japan

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

Functional and logic programming : 12th international symposium, FLOPS 2014 : Kanazawa, Japan, June 4-6, 2014 : proceedings. (Lecture Notes in Computer Science ; 8475)
Paper図書
Springer[2014]<M17-15-1475>
National Diet Library
  • Subject Heading...)--Congresses. Logic programming--Congresses. Functional programming (Compu...

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011 : Vancouver, Canada, May 16-19, 2011 : proceedings. (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. (Lecture Notes in Computer Science ; 6645. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-2321>
National Diet LibraryOther Libraries in Japan

Inductive logic programming : 20th international conference, ILP 2010 : Florence, Italy, June 27-30, 2010 : revised papers. (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. (Lecture Notes in Computer Science ; 6489. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-3202>
National Diet LibraryOther Libraries in Japan

Inductive logic programming : 19th international conference, ILP 2009 : Leuven, Belgium, July 02-04, 2009 : revised papers. (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. (Lecture Notes in Computer Science ; 5989. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-139>
National Diet LibraryOther Libraries in Japan

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

Logic programming : 23rd international conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings. (Lecture Notes in Computer Science ; 4670)
Paper図書
Springerc2007.<M17-08-1232>
National Diet LibraryOther Libraries in Japan

Inductive logic programming : 16th international conference, ILP 2006 : Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers. (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. (Lecture Notes in Computer Science ; 4455. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2814>
National Diet LibraryOther Libraries in Japan

Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012 : Leuven, Belgium, September 18-20, 2012 : revised selected papers. (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. (Lecture Notes in Computer Science ; 7844)
Paper図書
Springerc2013.<M17-13-2769>
National Diet Library
  • Subject HeadingLogic programming--Congresses. Computer logic--Congresses. C...
RSS