Meta-programming in logic : :: SCD d'Orléans

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

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgereprese...

Description complète

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International workshop on meta-programming in logic :Uppsala
Autres auteurs:	Pettorossi, Alberto, 19..- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 649
Sujets:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Meta-programming in logic, Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, proceedings, A. Pettorossi, ed, Berlin, Springer-Verlag, 1992, 1 vol. (XII-351 p.), Lecture notes in computer science, 3-540-56282-6 • Meta-Programming in Logic, Texte imprimé, 9783662180112

Documents similaires

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

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

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

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

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings
par: Marek, Victor W., 1943-

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

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

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

Foundations of inductive logic programming
par: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

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

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

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

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

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

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

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

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

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

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

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

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

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : 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 : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

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

Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
par: Lamma, Evelina, 1960-

Foundations of equational logic programming
par: Hölldobler, Steffen, 1957-

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

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
par: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
par: Kakas, Antonis C.

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

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : 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
par: Voronkov, Andrei, 1959-

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

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

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers
par: Dix, Jürgen, 1961-

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '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

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24 27, 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