Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra; 4th International Conference, AAECC-4; Karlsruhe, FRG; September 23-26, 1986 Proceedings. (Lecture Notes in Computer Science)

Editor

Springer-Verlag, OHG, Berlin, Germany

Fecha de publicaci�n

1989

ISBN 10

3540510818

ISBN 13

9783540510819

Encuadernaci�n

Paperback

Edici�n

1st.

Estado

Good

Estado de la sobrecubierta

No Jacket

Tipo de libro

Ex-Library

Cat�logos de vendedores

PROGRAMMING

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Thank You for looking at our books! We invite you to browse our bookstore for the many rare and antique volumes we have listed. Our listed books range the entire spectrum, with Mathematics, Physics, Nuclear Physics, Chemistry, Biochemistry, Aviation, Natural resources, Medicine,Electricity, Electronics, Philosophy, History, Genealogy, childrens books, Textbooks, Journals, and many more. Many of our rare/out-of-print volumes came from the U.S. Air Force Technical Library and are very unique. We strive to provide books to individuals around the world at competitive prices. Customers should know that 10-20% of their total order to include shipping cost goes to ABEbooks in fees and charges, especially on lower price volumes.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

SUNSET BOOKS 2
OH, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Condiciones de env�o

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We never charge for Handling, Packing or Service, even for Media Mail.