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
- New
- Condition
- New
- ISBN 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
$47.05$3.99 shipping to USA
Show Details
Description:
Springer , pp. 152 . Papeback. New.
Item Price
$47.05
$3.99
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 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 1
- Seller
-
North Reading, Massachusetts, United States
- Item Price
-
$50.00$5.00 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
$50.00
$5.00
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs
by Bachmair
- New
- Condition
- New
- ISBN 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 559
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$65.96$10.20 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Canonical Equational Proofs.
Item Price
$65.96
$10.20
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs
by Bachmair, Leo
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$71.70$12.77 shipping to USA
Show Details
Description:
Birkhauser, 1991. Paperback. New. 1st edition. 152 pages. 9.40x6.20x0.70 inches.
Item Price
$71.70
$12.77
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs
by Leo Bachmair
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$75.63$12.71 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
$75.63
$12.71
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 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
$63.00$10.00 shipping to USA
Show Details
Description:
Birk, 1991. N/A. Unknown Binding. New/New.
Item Price
$63.00
$10.00
shipping to USA
Stock Photo: Cover May Be Different
Canonical Equational Proofs - Progress In Theoretical Computer Science
by Bachmair, Leo,
- New
- Condition
- New
- ISBN 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
$69.82$5.00 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
$69.82
$5.00
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 13
- 9780817635558
- ISBN 10
- 0817635556
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$72.00$15.00 shipping to USA
Show Details
Description:
Birkhäuser. Paperback. New. 9x6x0.
Item Price
$72.00
$15.00
shipping to USA