Foto de archivo: la portada puede ser diferente
Detalles
- Título Canonical Equational Proofs
- Autor Bachmair
- Encuadernación Tapa blanda
- Edición First
- Páginas 138
- Volúmenes 1
- Idioma ENG
- Editorial Birkhauser
- Fecha de publicación 1991-06-01
- Ilustrado Sí
- ISBN 9780817635558 / 0817635556
- Peso 0.49 libras (0.22 kg)
- Dimensiones 9.21 x 6.14 x 0.33 pulgadas (23.39 x 15.60 x 0.84 cm)
- Número de catálogo de la Librería del Congreso de EEUU 91-11461
- Dewey Decimal Code 511.3
Más ejemplares
Foto de archivo: la portada puede ser diferente
Canonical Equational Proofs
de Bachmair
- Usado
- Estado
- Used
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 1
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 39.54EUR 3.77 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 152 . Papeback. Used.
Precio
EUR 39.54
EUR 3.77
enviando a USA
Foto de archivo: la portada puede ser diferente
CANONICAL EQUATIONAL PROOFS.
de Bachmair, Leo.
- Usado
- Aceptable
- Tapa dura
- First
- Estado
- Usado - Fine
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 1
- Librería
-
North Reading, Massachusetts, United States
- Precio
-
EUR 47.26EUR 4.73 enviando a USA
Mostrar detalles
Descripción:
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.
Precio
EUR 47.26
EUR 4.73
enviando a USA
Foto de archivo: la portada puede ser diferente
Canonical Equational Proofs
de Bachmair
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 559
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 61.07EUR 9.45 enviando a USA
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Canonical Equational Proofs.
Precio
EUR 61.07
EUR 9.45
enviando a USA
Foto de archivo: la portada puede ser diferente
Canonical Equational Proofs
de Bachmair, Leo
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 2
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 67.11EUR 11.82 enviando a USA
Mostrar detalles
Descripción:
Birkhauser, 1991. Paperback. New. 1st edition. 152 pages. 9.40x6.20x0.70 inches.
Precio
EUR 67.11
EUR 11.82
enviando a USA
Foto de archivo: la portada puede ser diferente
Canonical Equational Proofs
de Leo Bachmair
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 70.02EUR 11.76 enviando a USA
Mostrar detalles
Descripción:
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.
Precio
EUR 70.02
EUR 11.76
enviando a USA
Foto de archivo: la portada puede ser diferente
CANONICAL EQUATIONAL PROOFS - PROGRESS IN THEORETICAL COMPUTER SCIENCE
de BACHMAIR, LEO,
- Nuevo
- Estado
- New
- Edición
- N/A
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 5
- Librería
-
New Delhi, India
- Precio
-
EUR 59.55EUR 9.45 enviando a USA
Mostrar detalles
Descripción:
Birk, 1991. N/A. Unknown Binding. New/New.
Precio
EUR 59.55
EUR 9.45
enviando a USA
Foto de archivo: la portada puede ser diferente
Canonical Equational Proofs - Progress In Theoretical Computer Science
de Bachmair, Leo,
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 1
- Librería
-
New Delhi, India
- Precio
-
EUR 65.40EUR 4.73 enviando a USA
Mostrar detalles
Descripción:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Precio
EUR 65.40
EUR 4.73
enviando a USA
Foto de archivo: la portada puede ser diferente
Canonical Equational Proofs (Progress in Theoretical Computer Science)
de Bachmair
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780817635558 / 0817635556
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 68.05EUR 14.18 enviando a USA
Mostrar detalles
Descripción:
Birkhäuser. Paperback. New. 9x6x0.
Precio
EUR 68.05
EUR 14.18
enviando a USA