年 〜
年

検索結果 418 件

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>
国立国会図書館全国の図書館
  • 件名...)--Congresses. Logic programming--Congresses. F......puter science) Logic programming.
  • 著者標目...Functional and Logic Programming (16th : 2022 : Kyoto, Japan) ...

A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)

A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)
紙図書
Springerc2010.<X>
国立国会図書館
  • 件名Italian Association for Logic Programming. Logic programming.
  • 並列タイトル等（連結）Twenty-five year perspective on logic programming
  • 並列タイトル等Twenty-five year perspective on logic programming

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>
国立国会図書館
  • 件名...)--Congresses. Logic programming--Congresses. F......puter science) Logic programming.
  • 著者標目...Functional and Logic Programming (14th : 2016 : Nagoya-shi, Ja...

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>
国立国会図書館全国の図書館
  • 件名...)--Congresses. Logic programming--Congresses. P......puter science) Logic programming.
  • 著者標目...Functional and Logic Programming (15th : 2020 : Online) Nakano...

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>
国立国会図書館
  • 件名...)--Congresses. Logic programming--Congresses. F......puter science) Logic programming.
  • 著者標目...Functional and Logic Programming (13th : 2016 : Kochi-shi, Jap...

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>
国立国会図書館
  • 要約等... Conference on Logic Programming and Nonmonoton......on declarative logic programming, nonmonotonic reasoning, and ...
  • 件名Logic programming--Congresses. N......g--Congresses. Logic programming. Nonmonotonic reasoning.

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)
紙図書
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.Springer[2015]<M159-B158>
国立国会図書館
  • 件名Logic programming. Intelligence artificielle.

Latest advances in inductive logic programming

Latest advances in inductive logic programming
紙図書
Stephen H. Muggleton & Hiroaki Watanabe.Imperial College Press[2015]<M159-B154>
国立国会図書館
  • 件名Logic programming. Induction (Logic) Machine le...
  • 一般注記... the Inductive Logic Programming (ILP) workshop held at Cumber...

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>
国立国会図書館
  • 件名...)--Congresses. Logic programming--Congresses. F......puter science) Logic programming.
  • 著者標目...Functional and Logic Programming (12th : 2014 : Kanazawa, Japa...

Programming logics : essays in memory of Harald Ganzinger (Lecture notes in computer science ; 7797. Festschrift)

Programming logics : essays in memory of Harald Ganzinger (Lecture notes in computer science ; 7797. Festschrift)
紙図書
Andrei Voronkov, Christoph Weidenbach (eds.).Springer[2013]<X>
国立国会図書館
  • 件名Logic programming. Computer logic.

Inductive logic programming : 23rd international conference, ILP 2013 : Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers : Aug 2013, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 8812. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 23rd international conference, ILP 2013 : Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers : Aug 2013, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 8812. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-1308>
国立国会図書館
  • 件名Logic programming--Congresses. I......uction (Logic) Logic programming. Machine learning.

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-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 progr...

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>
国立国会図書館
  • 件名Logic programming--Congresses. Nonmonotonic rea...

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>
国立国会図書館
  • 件名...g--Congresses. Logic programming--Congresses. C......ge management. Logic programming.
  • 著者標目...y) Workshop on Logic Programming (27th : 2013 : Kiel, Germany)

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>
国立国会図書館
  • 件名Logic programming--Congresses. Machine learning...

Web reasoning and rule systems : 8th international conference, RR 2014 : Athens, Greece, September 15-17, 2014 : proceedings : Sep 2014, Athens, Greece. (Lecture Notes in Computer Science ; 8741)

Web reasoning and rule systems : 8th international conference, RR 2014 : Athens, Greece, September 15-17, 2014 : proceedings : Sep 2014, Athens, Greece. (Lecture Notes in Computer Science ; 8741)
紙図書
Springer[2014]<M17-15-1644>
国立国会図書館
  • 件名...g--Congresses. Logic programming--Congresses. D......puter science) Logic programming. Rule-based programming. Sema...

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 boo...

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.