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
Methodisches Konstruieren
$29.99
Western Use of Coercive Diplomacy after the Cold War
$169.99
Internationales Gewerkschaftshandbuch
$69.99
Pragmatic Cosmopolitanism
$54.99
Practical Management of Pediatric Ocular Disorders and Strabismus
$249.99
Dialetheism and its Applications
$79.99
Basiswissen Medizin des Alterns und des alten Menschen
$19.99
Systems of Conservation Laws
$109.99
Pharmacology of Immunotherapeutic Drugs
$84.99
Constructions of Strict Lyapunov Functions
$199.99
The Persian Gulf in History
$99.99
Biografisches und Kreatives Schreiben gegen Prfungsangst
$49.99
Rock Mechanics
$109.99
Zahlentheorie
$49.99
Die Gdel'schen Unvollstndigkeitsstze
$39.99
ReThinking Management
$64.99
Energieversorgung Probleme und Ressourcen
$69.99
Mareks Disease
$74.99
Ambivalenz
$59.99
Semantics-Oriented Natural Language Processing
$54.99
20. Hmophilie-Symposion Hamburg 1989
$69.99
Coasean Economics Law and Economics and the New Institutional Economics
$129.00
Research in Attacks, Intrusions, and Defenses
$39.99
Addressing Global Environmental Security Through Innovative Educational Curricula
$169.00
Achtsamkeit und Selbstmitgefhl
$49.99
Environment Exposure to Pollutants
$109.99
Chemisch-botanischer Leitfaden fr Zollbeamte
$59.99
Computational Science and Its Applications - ICCSA 2007
$129.00
Information Infrastructure Systems for Manufacturing II
$169.99
Situationsbezogene Diagnosekompetenz von Mathematiklehrkrften
$59.99
Solid State Chemistry
$129.00
Grab and Go Pack Theme 2: Social-Emotional Development Grade 2
$29.95
Mambo
$69.99
Little Cloud
$6.71
History as Theatrical Metaphor
$64.99
Independent Advocacy and Spiritual Care
$89.99
Quellen und Studien ur Geschichte der Mathematik Astronomie und Physik
$59.99
Descriptional Complexity of Formal Systems
$54.99
Isoenzymes
$54.99
Policy Learning and British Governance in the 1960s
$54.99
