Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540491040
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

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