Stock Photo: Cover May Be Different
Details
- Title Canonical Equational Proofs
- Author Bachmair
- Binding Paperback
- Edition First
- Pages 138
- Volumes 1
- Language ENG
- Publisher Birkhauser
- Date 1991-06-01
- Illustrated Yes
- ISBN 9780817635558 / 0817635556
- Weight 0.49 lbs (0.22 kg)
- Dimensions 9.21 x 6.14 x 0.33 in (23.39 x 15.60 x 0.84 cm)
- Library of Congress Catalog Number 91-11461
- Dewey Decimal Code 511.3
More Copies for Sale
Stock Photo: Cover May Be Different
Canonical Equational Proofs
by Bachmair
- Used
- Condition
- Used
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
NZ$70.86NZ$6.76 shipping to USA
Show Details
Description:
Springer , pp. 152 . Papeback. Used.
Item Price
NZ$70.86
NZ$6.76
shipping to USA
Stock Photo: Cover May Be Different
CANONICAL EQUATIONAL PROOFS.
by Bachmair, Leo.
- Used
- Fine
- Hardcover
- first
- Condition
- Used - Fine
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 1
- Seller
-
North Reading, Massachusetts, United States
- Item Price
-
NZ$84.70NZ$8.47 shipping to USA
Show Details
Description:
Birkhauser:, 1991. The first printing, 135 pages. "This monograph studies the application of rewrite techniques to equational reasoning. Various rewrite-based proof methods are formalized at an abstract level as equational inference systems and techniques for reasoning about such ingerence systems are developed based on the concepts of normal-form proofs and proof orderings." FINE HARDCOVER.. Hard Cover. Fine/Not Issued with a Dust Jacket.. 8vo - over 7¾" - 9¾" tall.
Item Price
NZ$84.70
NZ$8.47
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs
by Bachmair
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 559
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
NZ$109.71NZ$16.97 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Canonical Equational Proofs.
Item Price
NZ$109.71
NZ$16.97
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs
by Bachmair, Leo
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
NZ$120.56NZ$21.24 shipping to USA
Show Details
Description:
Birkhauser, 1991. Paperback. New. 1st edition. 152 pages. 9.40x6.20x0.70 inches.
Item Price
NZ$120.56
NZ$21.24
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs
by Leo Bachmair
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
NZ$125.79NZ$21.13 shipping to USA
Show Details
Description:
Paperback / softback. New. Equations occur in many computer applications, such as symbolic compu- tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving.
Item Price
NZ$125.79
NZ$21.13
shipping to USA
Stock Photo: Cover May Be Different
CANONICAL EQUATIONAL PROOFS - PROGRESS IN THEORETICAL COMPUTER SCIENCE
by BACHMAIR, LEO,
- New
- Condition
- New
- Edition
- N/A
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
NZ$106.72NZ$16.94 shipping to USA
Show Details
Description:
Birk, 1991. N/A. Unknown Binding. New/New.
Item Price
NZ$106.72
NZ$16.94
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs - Progress In Theoretical Computer Science
by Bachmair, Leo,
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
NZ$117.21NZ$8.47 shipping to USA
Show Details
Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
NZ$117.21
NZ$8.47
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs (Progress in Theoretical Computer Science)
by Bachmair
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
NZ$121.97NZ$25.41 shipping to USA
Show Details
Description:
Birkhäuser. Paperback. New. 9x6x0.
Item Price
NZ$121.97
NZ$25.41
shipping to USA