Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Best Price (Coupon Required):
Buy Logic Program Synthesis and Transformation - Meta-Programming in Logic for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Collisions
$39.99
"Durchaus rhapsodisch". Theodor Wiesengrund Adorno: Das kompositorische Werk
$74.99
Asymptotic Approximations for the Sound Generated by Aerofoils in Unsteady Subsonic Flows
$84.99
Physiological Assessment of Coronary Stenoses and the Microcirculation
$99.00
Von Chaos und Ordnung der Seele
$59.99
Cyclones in Southern Africa
$129.00
The Palgrave Handbook of Media Misinformation
$189.00
The Irrigation Future of India
$109.00
World Energy Resources
$219.99
Buchfhrung und Bilanz fr Einsteiger
$34.99
Zur Phnomenologie und Klinik des Glcksgefhls
$64.99
Die Betriebsformen des Einzelhandels aus Konsumentenperspektive
$69.99
Modellversuche an Werkzeugmaschinenelementen
$59.99
Devianz und Delinquenz in Kindheit und Jugend
$64.99
Public Policies and the Japanese Economy
$84.99
Methylotrophy and Methanogenesis
$39.99
Psychopathological and Neurological Dysfunctions Following Open-Heart Surgery
$84.99
Industrielle Keramik
$64.99
Bericht ber die Ausstellung schsischer Gewerb-Erzeugnisse in Dresden im Jahre 1845
$44.99
Database Schema Evolution and Meta-Modeling
$39.99
Sustainable Increase of Marine Harvesting: Fundamental Mechanisms and New Concepts
$169.99
Europaweite Kooperation von Betriebsrten multinationaler Konzerne
$39.99
Edge Intelligence
$69.99
Body, Gender, and Sexuality in Latin American Cinema: Insurgent Skin
$129.99
Theories on Law and Ageing
$109.99
The Mexican Exception
$54.99
Short-Term Bioassays in the Analysis of Complex Environmental Mixtures II
$39.99
Sourcing of Services
$39.99
Micro-CT of Temporal Bone
$84.99
Masters Theses in the Pure and Applied Sciences
$39.99
Environmental Water Footprints
$54.99
Manderung und Faserbeanspruchung von Wschestoffen bei verschiedenen Trocknungs-Verfahren
$54.99
D.H. Lawrence, Travel and Cultural Difference
$54.99
Aktives Preismanagement
$39.99
The Architecture of Scientific Software
$219.99
Optical Coherence Tomography in Multiple Sclerosis
$84.99
European and Chinese Cognitive Styles and their Impact on Teaching Mathematics
$84.99
Software Analysis, Testing, and Evolution
$54.99
Handbook of Rehabilitation in Older Adults
$199.99
Britain, Aden and South Arabia
$54.99
