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

Higher-Order Algebra, Logic, and Term Rewriting

Higher-Order Algebra, Logic, and Term Rewriting

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

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.

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

Theory of Accretion Disks 2

$219.99

Berichte zu Pflanzenschutzmitteln 2008

$29.95

Function of Somatic Cells in the Testis

$39.99

International Handbook of Earthquake Engineering

$219.99

Philosophical Doctrines of the Andhakas

$39.99

Concepts in Cell Biology - History and Evolution

$249.99

Kant's Transcendental Imagination

$140.00

Essential Practice Guidelines in Primary Care

$169.00

Arbeitsschutz in der Berufsausbildung

$37.99

Sunny: Sunny Graphix Grades 6-8

$45.00

Ergebnisse der Inneren Medizin und Kinderheilkunde/Advances in Internal Medicine and Pediatrics

$69.99

Telekommunikationsanwendungen fr kleine und mittlere Unternehmen

$54.99

Quality

$84.99

The Economic Development of Bangladesh within a Socialist Framework

$219.99

New Aspects of Galaxy Photometry

$39.99

Grundlagen der Frdertechnik Elemente und Triebwerke

$89.00

Lehrer-Schler-Interaktion

$119.99

English Language Program Administration

$169.99

Equilibrium Statistical Mechanics of Lattice Models

$119.00

Erfolgreiche Abschlussarbeiten - Steuern und Rechnungslegung

$44.99

Friedrich Drrenmatts Der Besuch der alten Dame in New York

$59.99

The Merchant of Venice

$54.99

Corporate Governance and Sustainable Prosperity

$109.99

System Earth via Geodetic-Geophysical Space Techniques

$169.00

EJB Reviews 1990

$54.99

JavaScript Data Structures and Algorithms

$54.99

Computational Partial Differential Equations

$39.99

Doubled Haploid Production in Crop Plants

$219.99

Nanobiotechnology: A Multidisciplinary Field of Science

$199.99

Online-Wahlen

$29.99

Grundzge der Physikalischen Chemie in ihrer Beziehung zur Biologie

$59.99

Vibration, Acoustics and Strain Measurement

$159.99

Telecom Management in Emerging Economies

$109.99

Zahnradtechnik Stirnrad- Evolventenverzahnungen

$399.99

Introductory Psychology

$54.99

Exports, Foreign Direct Investment and Economic Development in China

$109.99

Corpuscles

$74.99

Technische Versicherungen

$59.99

Aspects of Lyme Borreliosis

$84.99

Zur Regulierung der Prostitution

$64.99