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

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