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

Logic Program Synthesis and Transformation

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

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995. The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Untersuchung von Hyperschallstrmungen bei kleinen Reynoldszahlen

$59.99

Intestinal Inflammation and Colorectal Cancer

$219.99

Structure of Crystals

$74.99

Nonlinear Phenomena in Flows of Viscoelastic Polymer Fluids

$379.99

Examens-Fragen Psychiatrie

$14.60

Englische Weltpolitik in englischer Beleuchtung

$59.99

Grumpy Bird: Boo Hoo Bird

$4.46

Anwendungsorientierte Mikroprozessoren

$39.99

Too Good To Fail

$54.99

Adaptation and Value Creating Collaborative Networks

$109.99

Transcatheter Aortic Valve Replacement

$89.99

Nineteenth-Century Verse and Technology

$99.99

Raymie Nightingale

$6.71

Faserverbundbauweisen Eigenschaften

$139.99

Astronomy from Wide-Field Imaging

$329.99

The Politics, Economics, and Culture of Mexican-US Migration

$54.99

Die Aneignung von Medienkultur

$39.99

Computational Intelligence in Integrated Airline Scheduling

$129.00

Essential Analytics for Hospital Managers

$64.99

Trust

$169.99

Architectural Intelligence

$169.99

Calculus

$16.64

Magnetic Resonance in Oncology

$39.99

Planen und Auswerten von Versuchen

$54.99

Integrating History and Philosophy of Science

$109.99

8th EAI International Conference on Management of Manufacturing Systems

$219.99

Politische Bildung und Zukunft

$89.99

Applied Ethics in a Troubled World

$84.99

Sociological and Philosophical Perspectives on Education in the Asia-Pacific Region

$109.99

Efficient Dynamic Simulation of Robotic Mechanisms

$84.99

Ad-hoc Networks: Fundamental Properties and Network Topologies

$109.99

Singapore Math and Science Education Innovation

$139.00

Microbiology of Extreme Soils

$249.99

The Finite Element Method in Structural Mechanics

$299.99

Monetary Policy under Uncertainty

$54.99

Johann Wolfgang Goethe: Tagebcher

$99.00

Elasticitt und Festigkeit

$59.99

Theory and Practice from a Cognitive Perspective

$139.99

Herausforderungen einer zukunftsorientierten Unternehmenspolitik

$89.99

A High Performance Architecture for Prolog

$84.99