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
-
A$64.81A$6.18 shipping to USA
Show Details
Description:
Springer , pp. 152 . Papeback. Used.
Item Price
A$64.81
A$6.18
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
-
A$77.47A$7.75 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
A$77.47
A$7.75
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
-
A$100.11A$15.49 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Canonical Equational Proofs.
Item Price
A$100.11
A$15.49
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
-
A$110.01A$19.38 shipping to USA
Show Details
Description:
Birkhauser, 1991. Paperback. New. 1st edition. 152 pages. 9.40x6.20x0.70 inches.
Item Price
A$110.01
A$19.38
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
-
A$114.78A$19.29 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
A$114.78
A$19.29
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
-
A$97.61A$15.49 shipping to USA
Show Details
Description:
Birk, 1991. N/A. Unknown Binding. New/New.
Item Price
A$97.61
A$15.49
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
-
A$107.20A$7.75 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
A$107.20
A$7.75
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
-
A$111.56A$15.49 shipping to USA
Show Details
Description:
Birkhäuser. Paperback. New. 9x6x0.
Item Price
A$111.56
A$15.49
shipping to USA