Logic program synthesis and transformation : :: SCD d'Orléans

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

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10 12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97....

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר תאגידי:	International Workshop on Logic program synthesis and transformation :Louvain, Belgique
מחברים אחרים:	Fuchs, Norbert (Directeur de la publication)
פורמט:	Livre numérique
שפה:	Anglais
יצא לאור:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
סדרה:	Lecture notes in computer science 1463
נושאים:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
גישה מקוונת:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
הערה:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic program synthesis and transformation, 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997, proceedings, Norbert E. Fuchs, 1998, Berlin, Springer, 1 vol. (X-342 p.), Lecture notes in computer science, 3-540-65074-1 • Logic Program Synthesis and Transformation, Texte imprimé, 9783662193297

פריטים דומים

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : 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 : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : 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 : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
מאת: Bruynooghe, Maurice

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
מאת: Bruynooghe, Maurice

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
מאת: Furukawa, Kōichi, 1938-

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
מאת: Dyckhoff, Roy, 1948-

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Termination proofs for logic programs
מאת: Plümer, Lutz, 1951-

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 31, 1997 : proceedings
מאת: Dix, Jürgen, 1961-

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic September 17-20, 1997 : proceedings
מאת: Lavrač, Nada, 1953-

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Reasoning with logic programming
מאת: Alferes, José Júlio, 1966-, et autres

Logic programming : ; proceedings 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001

Field-programmable logic and applications : 7th International Workshop, FPL '97 London, UK, September 1 3, 1997 : proceedings

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
מאת: Furukawa, Kōichi, 1938-

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
מאת: Fisher, Michael

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

Foundations of inductive logic programming
מאת: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
מאת: Pfenning, Frank

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
מאת: Schmid, Ute

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales