Copied Logic Program Synthesis and Transformation
Logic Program Synthesis and Transformation
This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 1012, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.
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
ber die Juvenile Paralyse
$59.99
Die Neuordnung des bundesstaatlichen Eisenbahndienstes in sterreich
$59.99
Democratic Participation in Armed Conflict
$54.99
berzeugungsstrategien
$59.99
Subsidiarittsgrundsatz und Tatsachenfeststellung unter der Europischen Menschenrechtskonvention
$59.99
The Alienated Academic
$99.99
Microsoft Publisher, Einsteigen leichtgemacht
$84.99
Applications of Genetic Engineering to Crop Improvement
$84.99
Dynamic Biological Organization
$219.99
Statistical Analysis of Climate Series
$99.99
F&E-Projektcontrolling
$69.99
Zur gesetzlichen und privaten Krankenversicherung
$44.99
IFAE 2007
$109.99
Resource Management in Distributed Systems
$199.99
ber Massenmrder
$59.99
Kapazittsabgleich bei flexiblen Fertigungssystemen
$69.99
The Chemistry of Lifes Origins
$259.00
DFT - Diskrete Fourier-Transformation
$29.95
Communicating Europe in Times of Crisis
$54.99
New Waves In Political Philosophy
$54.99
The Transformation of Peace
$109.99
Traumdeutung
$39.99
Dividing Africa with Policy
$54.99
Endocrinology of Pregnancy
$169.99
Den Ttern auf der Spur
$24.99
Werteorientiertes Management in der kommunalen Energieversorgung
$74.99
Generating Electricity Using Photovoltaic Solar Plants in Iraq
$109.00
Germany's Economic Performance
$109.99
Fiber Optics
$84.99
How To Steal a Dog
$4.46
Managing Data From Knowledge Bases: Querying and Extraction
$109.99
Meinungsfhrerschaft im Konsumgtermarketing
$59.99
Handbuch Versicherungsmarketing
$99.00
Inequalities for Differential Forms
$109.99
The Soul of Creation (Shensi)
$69.99
Grundrechte Menschenrechte Polizei
$79.99
31st International Symposium on Shock Waves 2
$299.00
Biologische Wirkung von Licht im Kraftfahrzeug
$89.99
Modified Atmosphere Packaging of Food
$74.99
Der Einfluss von Cloud Computing auf IT-Dienstleister
$64.99
