Logic programming - Congresses.
概要
| 作品: | 93 作品在 31 項出版品 31 種語言 | |
|---|---|---|
書目資訊
Logic programming = 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings /
by:
(書目-電子資源)
Functional and logic programming = 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
by:
(書目-電子資源)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Logic programming = 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings /
by:
(書目-電子資源)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Constraint Solving and Language Processing = First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers/
by:
(書目-語言資料,印刷品)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Functional and logic programming = 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004: proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 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:
(書目-語言資料,印刷品)
Functional and constraint logic programming = 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised 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:
(書目-語言資料,印刷品)
Inductive logic programming = 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers /
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:
(書目-語言資料,印刷品)
Logic programming = 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
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:
(書目-語言資料,印刷品)
Algebraic and logic programming = 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
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 = 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 10th International Conference, ILP 2000, London, UK, July 24-27 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming and automated reasoning = 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : 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:
(書目-語言資料,印刷品)
Functional and logic programming = 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 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:
(書目-語言資料,印刷品)
Inductive logic programming = 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers /
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:
(書目-語言資料,印刷品)
Inductive logic programming = 30th International Conference, ILP 2021, virtual event, October 25-27, 2021 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
by:
(Electronic resources)
Hybrid models for coupling deductive and inductive reasoning = third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers /
by:
(Electronic resources)
Functional and logic programming = 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings /
by:
(Language materials, printed)
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:
(Electronic resources)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(Electronic resources)
Inductive logic programming = 26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers /
by:
(Electronic resources)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Electronic resources)
Functional and constraint logic programming = 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
(Electronic resources)
Functional and constraint logic programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers /
by:
(Electronic resources)
Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings /
by:
(Electronic resources)
Inductive logic programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings /
by:
(Electronic resources)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
(Electronic resources)
Inductive logic programming = 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022 : proceedings /
by:
(Electronic resources)
Functional and logic programming = 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects