Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings - Couverture souple

Dershowitz, Nachum

9783540510819: Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Couverture souple

ISBN 10 : 3540510818 ISBN 13 : 9783540510819

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 10,06

15 Neuf

De EUR 54,59

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540510818
ISBN 13: 9783540510819
Reliure: Broch�
Nombre de pages: 598
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Satisfaisant

Wear/soil. W/full markings and...

Afficher cet article

EUR 10,06

Autre devise

EUR 4,76 exp�dition vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 54,59

Autre devise

EUR 2,28 exp�dition vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9780387510811: Rewriting Techniques and Applications: 3rd International Conference, Rts-89 Chapel Hill, North Carolina, USA April 3-5, 1989 Proceedings

Edition pr�sent�e

ISBN 10 : 0387510818 ISBN 13 : 9780387510811
Editeur : Springer Verlag, 1989
Couverture souple

R�sultats de recherche pour Rewriting Techniques and Applications: 3rd International...

Image fournie par le vendeur

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)

Nachum Dershowitz (Editor); G. Goos (Editor); J. Hartmanis (Editor)

Edit� par Springer-Verlag, OHG, Berlin, Germany, 1989

ISBN 10 : 3540510818 ISBN 13 : 9783540510819

Ancien ou d'occasion Paperback Edition originale

Vendeur : SUNSET BOOKS 2, Newark, OH, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Good. No Jacket. 1st. Wear/soil. W/full markings and pocket. 578 numerical pages, 589 for Amz. Size: 8vo. Ex-Library. N� de r�f. du vendeur 008285

Contacter le vendeur

Acheter D'occasion

EUR 10,06

Autre devise

Frais de port : EUR 4,76

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)

Dershowitz, Nachum [Editor]

Edit� par Springer, 2008

ISBN 10 : 3540510818 ISBN 13 : 9783540510819

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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. N� de r�f. du vendeur UTD14a2517

Contacter le vendeur

Acheter D'occasion

EUR 9,57

Autre devise

Frais de port : EUR 6,04

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Rewriting Techniques and Applications : 3rd International Conference, Rta-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Dershowitz, Nachum

Edit� par Springer, 1989

ISBN 10 : 3540510818 ISBN 13 : 9783540510819

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 5906635-n

Contacter le vendeur

Acheter neuf

EUR 54,59

Autre devise

Frais de port : EUR 2,28

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Rewriting Techniques and Applications (Paperback)

Nachum Dershowitz

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989

ISBN 10 : 3540510818 ISBN 13 : 9783540510819

Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. 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, Groebner 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 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783540510819

Contacter le vendeur