
Logic Program Synthesis and Transformation - Meta-Programming in Logic (English, Laurent Fribourg | Franco Turini)
by Laurent Fribourg | Franco Turini
Delivery options
Logic Program Synthesis and Transformation - Meta-Programming in Logic by Laurent Fribourg | Franco Turini is listed under Programming on BookBajar. Full details, specifications and reader reviews are below.
Book Details
About the Book
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…
ISBN: 9783540587927
Reader's Guide
What This Book Covers
- ·The main subject matter of Logic Program Synthesis and Transformation - Meta-Programming in Logic
- ·Ideas and detail relevant to Programming
- ·Context that helps make sense of the material as a whole
Best Suited For
Programmers and students learning to build software.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Logic Program Synthesis and Transformation - Meta-Programming in Logic?
Who is the author of Logic Program Synthesis and Transformation - Meta-Programming in Logic?
Is Logic Program Synthesis and Transformation - Meta-Programming in Logic available in Paperback and Hardcover?
Does BookBajar offer free delivery for Logic Program Synthesis and Transformation - Meta-Programming in Logic?
Is Cash on Delivery available for Logic Program Synthesis and Transformation - Meta-Programming in Logic?
What is BookBajar's return policy on Logic Program Synthesis and Transformation - Meta-Programming in Logic?
What is the ISBN of Logic Program Synthesis and Transformation - Meta-Programming in Logic?
What can I expect from Logic Program Synthesis and Transformation - Meta-Programming in Logic?
🛒 Customers Also Bought

Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products

Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637