Murakami Sale
 
 

Recently Viewed clear list


Q&A | August 19, 2014

Richard Kadrey: IMG Powell’s Q&A: Richard Kadrey



Describe your latest book. The Getaway God is the sixth book in the Sandman Slim series. In it, the very unholy nephilim, James Stark, aka Sandman... Continue »
  1. $17.49 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$108.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Logic and Philosophy

Canonical Equational Proofs: Progress in Theoretical Computer Science

by

Canonical Equational Proofs: Progress in Theoretical Computer Science Cover

 

Synopses & Reviews

Book News Annotation:

Describes the application of rewrite techniques to equational proofs in order to transform and simplify them to a normal-form proof. Of use in symbolic computation, functional programming, and other advanced computer activities.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Product Details

ISBN:
9780817635558
Author:
Bachmair, L.
Publisher:
Birkhauser
Subject:
Mathematics-Logic and Philosophy
Publication Date:
19910631
Binding:
TRADE PAPER
Language:
English

Other books you might like

  1. Gravity, Gaugetheories and Quantum... New Hardcover $453.95
  2. In Our Own Image: Personal Symmetry... New Hardcover $99.25
  3. Progress in Nonlinear Differential... New Hardcover $209.75
  4. Non-Vanishing of L-Functions &... New Hardcover $108.50

Related Subjects

Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » General
Science and Mathematics » Mathematics » Logic and Philosophy

Canonical Equational Proofs: Progress in Theoretical Computer Science New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details pages Birkhauser Boston - English 9780817635558 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.