Logic programming - Congresses.

Logic for programming, artificial intelligence, and reasoning = 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings / by: (書目-語言資料,印刷品)

Logic programming = 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / by: (書目-語言資料,印刷品)

Logic programming and nonmonotonic reasoning = 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / by: (書目-電子資源)

Functional and logic programming = 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings / by: (書目-語言資料,印刷品)

Inductive logic programming = 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / by: (書目-語言資料,印刷品)

Quantitative logic and soft computing 2016 = Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016 / by: (書目-電子資源)

Inductive logic programming = 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers / by: (書目-電子資源)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers / by: (書目-電子資源)

Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings / by: (書目-電子資源)

Functional and logic programming = 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / by: (書目-語言資料,印刷品)

Logic programming = 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / by: (書目-語言資料,印刷品)

Logic programming and nonmonotonic reasoning = 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / by: (書目-語言資料,印刷品)

Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers/ by: (書目-語言資料,印刷品)

Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by: (書目-語言資料,印刷品)

Applications of Declarative Programming and Knowledge Management = 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by: (書目-語言資料,印刷品)

Logic Programming and Nonmonotonic Reasoning = 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / by: (書目-語言資料,印刷品)

Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings by: (書目-語言資料,印刷品)

Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: (書目-語言資料,印刷品)

Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (書目-語言資料,印刷品)

Inductive logic programming = 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / by: (書目-語言資料,印刷品)

Inductive logic programming = 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings / by: (書目-語言資料,印刷品)

Logic based program synthesis and transportation = 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers / by: (書目-語言資料,印刷品)

Logic for programming artificial intelligence and reasoning = 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / by: (書目-語言資料,印刷品)

Logic programming = 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings / by: (書目-語言資料,印刷品)

Recent advances in constraints = joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers / by: (書目-語言資料,印刷品)

Functional and logic programming = 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004: proceedings / by: (書目-語言資料,印刷品)

Logic based program synthesis and transformation = 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / by: (書目-語言資料,印刷品)

Logic programming = 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / by: (書目-語言資料,印刷品)

Recent advances in constraints = Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers/ by: (書目-語言資料,印刷品)

Functional and constraint logic programming = 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Algebraic and logic programming = 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / by: (書目-語言資料,印刷品)

Inductive logic programming = 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers / by: (書目-語言資料,印刷品)

Logic program synthesis and transformation = 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / by: (書目-語言資料,印刷品)

Logic programming and nonmonotonic reasoning = 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / by: (書目-語言資料,印刷品)

Non-monotonic extensions of logic programming = second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / by: (書目-語言資料,印刷品)

Inductive logic programming = 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / by: (書目-語言資料,印刷品)

Logic program synthesis and transformation = 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / by: (書目-語言資料,印刷品)

Logic programming and knowledge representation = third international workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997 : selected papers / by: (書目-語言資料,印刷品)

Functional and logic programming = 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / by: (書目-語言資料,印刷品)

Logic for programming and automated reasoning = 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / by: (書目-語言資料,印刷品)

Inductive logic programming = 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings / by: (書目-語言資料,印刷品)

Logic programming and nonmonotonic reasoning = 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / by: (書目-語言資料,印刷品)

Inductive logic programming = 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / by: (書目-語言資料,印刷品)

Logic based program synthesis and transformation = 10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers / by: (書目-語言資料,印刷品)

Logic based program synthesis and transformation = 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers / by: (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / by: (書目-語言資料,印刷品)

Logic programming = 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / by: (書目-語言資料,印刷品)

Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (書目-電子資源)

Inductive logic programming = 26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers / by: (書目-電子資源)

Functional and constraint logic programming = 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers / by: (書目-電子資源)

Functional and constraint logic programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers / by: (書目-電子資源)

Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Rules and reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (書目-電子資源)

Inductive logic programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019 : proceedings / by: (書目-電子資源)

Rules and reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (書目-電子資源)

Inductive logic programming = 30th International Conference, ILP 2021, virtual event, October 25-27, 2021 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings / by: (書目-電子資源)

Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings / by: (書目-電子資源)

Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: (書目-電子資源)