Copied Logic Program Synthesis and Transformation - Meta-Programming in Logic
Logic Program Synthesis and Transformation - Meta-Programming in Logic
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Practical Experiences with Flow-Induced Vibrations
$169.99
Geschftsrisiko Cyber-Security
$17.99
Benzodiazepines II
$84.99
International Strategies of Japanese Banks
$109.99
Predator-Prey Interactions in the Fossil Record
$129.00
Research Issues in Learning Disabilities
$39.99
Informationswert des Anhangs zur Jahresrechnung
$69.99
Baulrm
$34.99
Balkan and Eastern European Countries in the Midst of the Global Economic Crisis
$109.99
The Equal Curriculum
$99.99
Companies of Europe 1991-92
$74.99
US Economic Development Policies Towards the Pacific Rim
$84.99
Nonlinear Filters
$109.99
Aerodynamik des Flugzeuges
$49.99
Technik und Zukunft
$69.99
Advances on Smart and Soft Computing
$189.00
Methods of Protein Separation
$39.99
Projektkompass Softwareentwicklung
$54.99
The Chemistry of Lifes Origins
$329.99
Handbook of Optimization in Complex Networks
$169.99
Innovationsorientiertes IT-Management mit DevOps
$17.99
Moon Victoria & Vancouver Island: Coastal Recreation, Museums & Gardens, Whale-Watching by Andrew Hempstead
$17.99
Give Back (Hardcover)
$14.24
Crossing the Border of the Traditional Science Curriculum
$39.99
Electrode Processes and Electrochemical Engineering
$39.99
Transcription Factor Regulatory Networks
$109.00
Mechanik
$59.99
Where's Halmoni?
$6.71
Geometry of Supersymmetric Gauge Theories
$39.99
Quantitative Portfolio Optimisation, Asset Allocation and Risk Management
$379.99
Multiscale Seismic Tomography
$84.99
Planar Waveguides and other Confined Geometries
$84.99
Neo-Victorian Freakery
$99.99
Power Converters for Voltage Networks
$109.99
Web and Communication Technologies and Internet-Related Social Issues - HSI 2005
$54.99
Reciprocity, Spatial Mapping and Time Reversal in Electromagnetics
$109.99
Laser Scanning: Update 1
$169.99
Handbook of Health Behavior Research II
$169.99
Bible Stories for Little Hearts
$5.24
Chemie fr Mediziner
$59.99
