Вы здесь

Главная

логическое программирование

Связанные издания:

Live-structure Analysis for Logic Programing Languages with Declarations
LIX: An Effective Self-applicable Partial Evaluator for Prolog
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2018, Deerfield Beach,FL,USA, January 2018
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020
Logic and Argumentation: Proc./3rd International Conference, CLAR 2020, Hangzhou, China, April 2020
Logic and Argumentation: Proc./4th International Conference, CLAR 2021, Hangzhou, China, October 2021
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/19th International Sumposium, LOPSTR 2009, Coimbra, Portugal, September 2009
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 2011
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017
Logic for Programming and Automated Reasoning: Proc./7th Intern. Conf., LPAR 2000, Reunion Island, France, November 2000
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./9th Intern. Conf., LPAR 2002, Tbilisi, Geoigia, October 2002
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005
Logic, Language, and Computation: Revised Selected Papers/7th International Tbilisi Symposium, TbiLLC 2007, Tbilisi, Georgia, October 2007
Logic Programming
Logic Programming and Genetic Sequence Analysis: a Tutorial
Logic Programming and Knowledge Representation: Proc./Third Intern. Workshop, LPKR 97. Port Jefferson, New York, USA, October 1997
Logic Programming and Model Checking
Logic Programming and Nonmonotonic Reasoning: Proc./10th International Conference, LPNMR 2009, Potsdam, Germany, September 2009
Logic Programming and Nonmonotonic Reasoning: Proc./12th International Conference, LPNMR 2013, Corunna, Spain, September 2013
Logic Programming and Nonmonotonic Reasoning: Proc./13th International Conference, LPNMR 2015, Lexington,KY,USA, September 2015
Logic Programming and Nonmonotonic Reasoning: Proc./15th International Conference, LPNMR 2019, Philadelphia, PA,USA, June 2019
Logic Programming and Nonmonotonic Reasoning: Proc./4th Intern. Conf., LPNMR 97. Dagstuhl Castle, Germany, July 1997
Logic Programming and Nonmonotonic Reasoning: Proc./6th Intern. Conf., LPNMR, Vienna, Austria, September 2001
Logic Programming and Nonmonotonic Reasoning: Proc./7th Intern. Conf., LPNMR 2004, Fort Lauderdale, FL, USA, January 2004
Logic Programming and Nonmonotonic Reasoning: Proc./8th International Conference, LPNMR 2005. Diamante, Italy, September 2005
Logic Programming and Nonmonotonic Reasoning: Proc./9th International Conference, LPNMR 2007. Temple, AZ, USA, MAy 2007
Logic Programming and Nonmonotonic Reasoning: Proc./Third Intern. Conf., LPNMR 95. Lexington, KY, USA, June 1995
Logic Programming for Software Engineering: A Second Chance
Logic Programming in Oz with Mozart
Logic Programming in Tau Categories
Logic Programming Languages for the Internet
Logic Programming: Proc./14th Intern. Conf. on Logic Programming
Logic Programming: Proc./17th Intern. Conf., ICLP 2001, Paphos, Cyprus, November-December 2001
Logic Programming: Proc./18th Intern. Conf., ICLP 2002, Copenhagen, Denmark, July-August 2002
Logic Programming: Proc./1991 Intern. Symp.
Logic Programming: Proc./1994 Intern. Symp.
Logic Programming: Proc./1998 Joint International Conference and Symposium on Logic Programming
Logic Programming: Proc./19th Intern. Conf., ICLP 2003, Mumbai, India, December 2003
Logic Programming: Proc./21st International Conference, ICLP 2005. Sitges, Spain, October 2005
Logic Programming: Proc./22nd International Conference, ICLP 2006. Seattle, WA, USA, August 2006
Logic Programming: Proc./23rd International Conference, ICLP 2007. Porto, Portugal, September 2007
Logic Programming: Proc./24th International Conference, ICLP 2008. Udine Italy, December 2008
Logic Programming: Proc./25th International Conference, ICLP 2009, Pasadena, CA,USA, July 2009