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

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers pre...

Deskribapen osoa

Xehetasun bibliografikoak

Egile korporatiboa:	International workshop on Logic program synthesis and transformation :Pise, International workshop on meta-programming in logic (Egilea)
Beste egile batzuk:	Turini, Franco (Argitalpenaren zuzendaria), Fribourg, Laurent, 1957-...., informaticien (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 883
Gaiak:	Informatique Langages de programmation Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	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-- Meta-programming in Logic, 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 1994, proceedings, Laurent Fribourg, Franco Turini, (eds.), Heidelberg, Springer-Verlag, 1994, 1 vol. (IX-450 p.), Lecture notes in computer science, 3-540-58792-6 • Logic Program Synthesis and Transformation - Meta-Programming in Logic, Texte imprimé, 9783662203002