Importe total (1 artículo artículos):
Destino del pedido:
rewriting techniques applications 3rd de dershowitz nachum (6 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (6)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (4)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (2)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (6)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (2)
- No impresión bajo demanda (6)
Idioma (1)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355, Band 355)
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,99
Convertir monedaEUR 17,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Befriedigend. Seiten; 9783540510819.4 Gewicht in Gramm: 1.
-
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,27
Convertir monedaEUR 5,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
Publicado por Springer Berlin Heidelberg, 1989
ISBN 10: 3540510818 ISBN 13: 9783540510819
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gröbner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume.
-
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 65,38
Convertir monedaEUR 6,86 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 9,50
Convertir monedaEUR 64,33 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.Except for library markings, interior clean and unmarked. Tight binding.
-
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,27
Convertir monedaEUR 64,33 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
