No Words Wasted Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    The Powell's Playlist | January 15, 2015

    Mary Helen Specht: IMG The Powell's Playlist: Mary Helen Specht



    Migratory Animals is mostly set in Texas during the first years of the most recent recession, when the cast of characters — an eclectic group... Continue »
    1. $10.49 Sale Trade Paper add to wish list

      Migratory Animals (P.S.)

      Mary Helen Specht 9780062346032

    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.