Term Rewriting and All That - Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) - Libros - Cambridge University Press - 9780521779203 - 5 de agosto de 1999
En caso de que portada y título no coincidan, el título será el correcto

Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
Term Rewriting and All That

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.

316 pages, 170 exercises

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de agosto de 1999
ISBN13 9780521779203
Editores Cambridge University Press
Páginas 316
Dimensiones 170 × 244 × 18 mm   ·   556 g
Lengua Inglés  

Más del mismo editor

Ver todo de Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) ( Ej. Paperback Book )