Artículos relacionados a Logic Program Synthesis and Transformation - Meta-Programmin...
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... 883 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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 presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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 presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2008
- ISBN 10 3540587926
- ISBN 13 9783540587927
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas468
- Contacto del fabricanteno disponible
EUR 29,81
EUR 17,54 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,49
EUR 11,99 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Logic Program Synthesis and Transformation - Meta-Programmin...
Imagen de archivo
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21
Publicado por
Springer-Verlag, 1994
ISBN 10: 3540587926
ISBN 13: 9783540587927
Antiguo o usado
Paperback
Librería: George Cross Books, Lexington, MA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Reprint edition. Very Good/Wraps (34587) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 883 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 presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. 451. Nº de ref. del artículo: 34587
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
Publicado por
Springer Berlin Heidelberg, 1994
ISBN 10: 3540587926
ISBN 13: 9783540587927
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. Nº de ref. del artículo: 9783540587927
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... (Lecture Notes in Computer Science, 883)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540587927_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Publicado por
Springer Berlin Heidelberg, 1994
ISBN 10: 3540587926
ISBN 13: 9783540587927
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Nº de ref. del artículo: 4894849
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1994, 1994
ISBN 10: 3540587926
ISBN 13: 9783540587927
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch. Nº de ref. del artículo: 9783540587927
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 468 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5855873
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 468. Nº de ref. del artículo: 263073374
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 468. Nº de ref. del artículo: 183073364
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Publicado por
Springer Berlin Heidelberg Nov 1994, 1994
ISBN 10: 3540587926
ISBN 13: 9783540587927
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. 468 pp. Englisch. Nº de ref. del artículo: 9783540587927
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 -
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540587927
Cantidad disponible: 10 disponibles