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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Hydrogeologie des Westteils der Ibbenbrener Karbonscholle
$59.99
Evidence-Based Teaching for the 21st Century Classroom and Beyond
$84.99
Stoffwechselwirkungen der Steroidhormone
$69.99
Chinas Provinces and Populations
$99.99
Semiconductor Power Devices
$299.99
Video Techniques in Animal Ecology and Behaviour
$129.00
Pathways Between Social Science and Computational Social Science
$99.99
Simulation Tools and Techniques
$39.99
Formale Beschreibungstechniken fr verteilte Systeme
$79.99
British Foreign Policy during the Curzon Period, 1919-24
$149.00
Effective People Management in Africa
$109.99
Europes Grand Strategy
$139.99
Deportation and the Confluence of Violence within Forensic Mental Health and Immigration Systems
$39.99
Prfungsvorbereitung fr Industriekaufleute
$69.99
Herstellung geformter Schluche mit Formdornen aus Formgedchtnislegierung
$59.99
IndiaVietnam Relations
$129.99
Opiatabhngigkeit
$59.99
Food Tech Transitions
$69.99
An Invisible Thread
$6.71
Raumrelationen und Objekt-Regionen
$74.99
Akzeptanz von Videoberwachung
$44.99
The gm/ID Methodology, a sizing tool for low-voltage analog CMOS Circuits
$139.99
Radionanomedicine
$159.99
Theory of Fluid Flows Through Natural Rocks
$219.99
bungen zur Nachrichtenbertragung
$39.99
Sucht und Familie
$59.99
Introduction to Quantum Mechanics
$0.00
Microbial Beta Glucanases
$249.99
Histophilus somni
$109.99
Migrant Dubai
$99.99
Incarcerated Young People, Education and Social Justice
$119.99
Chronic Infectious Neuropathic Agents (CHINA) and other Slow Virus Infections
$84.99
Love and Trade War
$139.99
Stitch Bookend Set Lilo & Stitch Official shopDisney
$130.00
Persistent Stochastic Shocks in a New Keynesian Model with Uncertainty
$54.99
Photochemistry and Photophysics of Metal Complexes
$279.99
Electrogenesis of Biopotentials in the Cardiovascular System
$129.00
Art and the Challenge of Markets Volume 1
$159.99
Untersuchungen zum Leistungsvergleich der Feinbearbeitungsverfahren
$59.99
Enabling Mathematics Learning of Struggling Students
$159.99
