Canonical Equational Proofs
by Bachmair, Leo
Available Copies
CANONICAL EQUATIONAL PROOFS.
by Bachmair, Leo.
- Condition
- Used - Fine
- Jacket Condition
- Not Issued with a Dust Jacket.
- Published
- 1991
- Binding
- Hardcover
- ISBN
- 9780817635558
- Quantity Available
- 1
- Seller
-
North Reading, Massachusetts, USA
- Item Price
-
A$76.90
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… Read more about this item Item Price
A$76.90
Canonical Equational Proofs (Progress in Theoretical Computer Science)
by Leo Bachmair
- Condition
- Used - Good
- Published
- 1991-01
- Binding
- Hardcover
- ISBN
- 9783764335557
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, USA
- Item Price
-
A$35.19
Show Details
Description:
Birkhauser, 1991-01. Hardcover. Good. Item Price
A$35.19
CANONICAL EQUATIONAL PROOFS - PROGRESS IN THEORETICAL COMPUTER SCIENCE
by BACHMAIR, LEO,
- Condition
- New
- Jacket Condition
- New
- Edition
- N/A
- Published
- 1991
- Binding
- Unknown Binding
- ISBN
- 9780817635558
- Quantity Available
- 1
- Seller
-
New Delhi, IND
- Item Price
-
A$96.90
Show Details
Description:
Birk, 1991. N/A. Unknown Binding. New/New. Item Price
A$96.90
Canonical Equational Proofs - Progress In Theoretical Computer Science
by Bachmair, Leo,
- Condition
- New
- Jacket Condition
- New
- ISBN
- 9780817635558
- Quantity Available
- 1
- Seller
-
New Delhi, IND
- Item Price
-
A$106.42
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$106.42
Canonical Equational Proofs
by Leo Bachmair
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9780817635558
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$113.67
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$113.67
Canonical Equational Proofs
by Bachmair, Leo
- Condition
- New
- Published
- 1991
- Binding
- Paperback
- ISBN
- 9780817635558
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$108.93
Show Details
Description:
Birkhauser, 1991. Paperback. New. 1st edition. 152 pages. 9.40x6.20x0.70 inches. Item Price
A$108.93