Name: higher-order algebra, logic, and term rewriting (en Inglés)
SKU: 3486126
Price: 155635.00 COP
Availability: InStock
ISBN: 9783540612544

Selecciona tu país

América

Europa

Resto del mundo

portada higher-order algebra, logic, and term rewriting (en Inglés)

higher-order algebra, logic, and term rewriting (en Inglés)

Formato

Libro Físico

Editorial

Springer

Idioma

Inglés

N° páginas

287

ISBN

3540612548

ISBN13

9783540612544

Categorías

Arquitectura y diseño lógico de ordenadores

higher-order algebra, logic, and term rewriting (en Inglés)

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 311.271$ 155.635

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 155.635

¡Envío Gratis! Llega entre el 14 Oct y el 23 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "higher-order algebra, logic, and term rewriting (en Inglés)"

this book presents a collection of revised refereed papers selected from the presentations accepted for the second international workshop on higher-order algebra, logic, and term rewriting, hoa 95, held in paderborn, germany, in september 1995.the 14 research papers included, together with an invited paper by jan willem klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes