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

$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

Grid and Cooperative Computing - GCC 2004 Workshops

$109.99

Must Love Pets #1 Friends Fur-Ever

$5.99

Methoden der Filmsoziologie

$59.99

Theory of Stochastic Canonical Equations

$169.99

Extremal Combinatorics

$99.99

Reliability-Based Design of Engineered Wood Structures

$109.99

Nuclear Winter

$39.99

DNA Computing

$99.99

Shock & Vibration, Aircraft/Aerospace, and Energy Harvesting, Volume 9

$169.99

The Future of the Teaching and Learning of Algebra

$129.00

Creating Value in Financial Services

$129.00

Mathematical Problems in Biology

$54.99

Pedagogical Encounters in the Post-Anthropocene, Volume 1

$89.00

Communications and Networking in Education

$169.99

Contemporary Nuclear Shell Models

$39.99

Methanolpyrolyse und Methanoloxidation

$59.99

Data Management, Analytics and Innovation

$249.99

The Milan System for Reporting Salivary Gland Cytopathology

$99.99

Forging Chivalric Communities in Malorys Le Morte Darthur

$109.99

Morphological Astronomy

$129.00

The Designer's Guide to High-Purity Oscillators

$99.00

Industrial Membrane Separation Technology

$349.00

Oeuvres Scientifiques - Collected Papers I

$69.99

Trends in Functional Programming

$39.99

Learning and Teaching Real World Problem Solving in School Mathematics

$39.99

Gegen die Zahlenmystik an der groen Pyramide bei Gise

$59.99

The Transplantation and Replacement of Thoracic Organs

$329.99

Creating Preschool Television

$54.99

HCI International 2023 Posters

$169.99

Future Research Directions in Computational Intelligence

$249.99

Solving Combinatorial Optimization Problems in Parallel Methods and Techniques

$39.99

Kleine Meteoritenkunde

$49.99

Advanced Intelligent Systems for Sustainable Development (AI2SD2019)

$169.99

Strafrecht fr alle Semester

$39.95

Advanced Oxidation Processes in Dye-Containing Wastewater

$139.99

Feminist Cyberethics in Asia

$39.99

Tests and Proofs

$54.99

Laid-Off Workers in a Workers State

$39.99

Die Vorsokratiker

$19.99

Datenbanksysteme

$69.95