Logic programming -- Congresses
Resource Information
The concept Logic programming -- Congresses represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Logic programming -- Congresses
Resource Information
The concept Logic programming -- Congresses represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Logic programming -- Congresses
212 Items that share the Concept Logic programming -- Congresses
Context
Context of Logic programming -- CongressesSubject of
No resources found
No enriched resources found
- 19th IEEE Annual Conference on Computational Complexity : proceedings : 21-24 June, 2004, Amherst, Massachusetts
- 20th IEEE Annual Conference on Computational Complexity : proceedings : 11-15 June, 2005, San Jose, CA
- 25th Annual IEEE Conference on Computational Complexity : proceedings : CCC 2010 : 9-11 June, 2010, Cambridge, Massachusetts, USA
- ALPUK 91 : proceedings of the 3rd UK annual conference on logic programming, Edinburgh, 10-12 April 1991
- Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
- Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
- Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
- Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
- Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings
- Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings
- Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
- Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
- Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
- Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
- 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
- CCC 2008 : twenty-third Annual IEEE Conference on Computational Complexity : proceedings : 23-26 June 2008, College Park, Maryland
- Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
- Computational complexity : proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, Canada
- Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy
- Computational complexity : proceedings : Fourteenth Annual IEEE Conference on Computational Complexity : May 4-6, 1999, Atlanta, Georgia, USA
- Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
- DAMP'09 : proceedings of the 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming : Savannah, Georgia, USA, January 20, 2009
- Declarative programming and knowledge management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised selected papers
- Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
- Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings
- Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
- Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
- Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings
- Extensions of logic programming : international workshop, Tübingen, FRG, December 8/9, 1989 proceedings
- Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991, proceedings
- Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991, proceedings
- Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
- Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers
- Functional and constraint logic programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers
- Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
- Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
- Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings
- Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
- Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
- Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
- Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
- Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
- Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
- Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings
- Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings
- Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
- Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings
- Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings
- Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings
- Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings
- Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers
- Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings
- Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
- Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings
- Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers
- Inductive logic programming : 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers
- Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : revised selected papers
- Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised papers
- Inductive logic programming : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers
- Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers
- Inductive logic programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised selected papers
- Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 1996 : selected papers
- Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
- Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
- Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
- Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
- Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
- Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
- LFMTP 2009 : proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages : theory and practice : August 2, 2009, Montréal, Canada
- Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
- Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
- Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
- Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
- Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
- Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
- Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
- Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
- Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
- Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
- Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
- Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
- Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
- Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
- Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
- Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
- Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
- Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
- Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
- Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
- Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings
- Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings
- Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
- Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings
- Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
- Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
- Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
- Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
- Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
- Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
- Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
- Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
- Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986
- Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
- Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
- Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
- Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 1988
- Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989
- Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
- Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
- Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
- Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
- Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
- Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
- Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings
- Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings
- Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedings
- Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings
- Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
- Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
- Logic programming : proceedings of the fifth international conference and symposium
- Logic programming : proceedings of the fourth international conference
- Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
- Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
- Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
- Logic programming and knowledge representation : Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers
- Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers
- Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings
- Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013, Proceedings
- Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
- Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
- Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
- Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
- Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
- Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
- Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
- Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
- Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings
- Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings
- Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings
- Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings
- Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.]
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers
- Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
- Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers
- Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
- Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers
- Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers
- Logic-based program synthesis and transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers
- Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
- Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
- Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
- Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers
- Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 22-24, 1999 : selected papers
- Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
- Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
- Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
- Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987
- Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
- Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
- Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings
- Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings
- Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
- Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
- Over-constrained systems
- Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings
- Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings
- Proceedings : 18th IEEE Annual Conference on Computational Complexity : 7-10 July, 2003, Aarhus, Denmark
- Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah
- Proceedings of the 2007 Workshop on Declarative Aspects of Multicore Programming : 2007, Nice, France, January 16-16, 2007
- Proceedings of the 24th Annual IEEE Conference on Computational Complexity : 15-18 July 2009 Paris France
- Proceedings, 1987 Symposium on Logic Programming : August 31-September 4, 1987, San Francisco, California
- Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USA
- Proceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 24-27, 1997, Ulm, Germany
- Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings
- Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
- Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
- Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
- Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
- Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings
- Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings
- Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
- Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
- Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings
- Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings
- Programming language implementation and logic programming : proceedings
- Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
- Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
- Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings
- Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers
- 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
- 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
- Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers
- Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
- Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings
- Third International Conference on Logic Programming, Imperial College of Science and Technology London, United Kingdom : proceedings
- Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
- Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
- Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
- Twenty-first Annual IEEE Conference on Computational Complexity : proceedings : (CCC 2006) : 16-20 July, 2006, Prague, Czech Republic
- Web reasoning and rule systems : 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 : proceedings
- Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
- Web reasoning and rule systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
- Web reasoning and rule systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
- Web reasoning and rule systems : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. proceedings
- Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings
- Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings
- Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 ; proceedings
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/mgBLq-qzrHc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/mgBLq-qzrHc/">Logic programming -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Logic programming -- Congresses
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/mgBLq-qzrHc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/mgBLq-qzrHc/">Logic programming -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
