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)

Verlag

Springer

Erscheinungsjahr

2008

Sprache

Englisch

ISBN-10

3540510818

ISBN-13

9783540510819

Einband

paperback

Zustand

Befriedigend

Gewicht

1 Gramm

Verk�uferkataloge

Varia

�ber diesen Titel

Inhaltsangabe

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

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Studibuch GmbH
Neue Weinsteige 69, Stuttgart, 70180, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

� 1 Geltungsbereich
(1) Diese allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen der Studibuch GmbH und ihren Kunden �ber physische Produkte (z.B. B�cher, CDs) und Dienstleistungen �ber s�mtliche von Studibuch bereitgestellten Kan�le, z.B. Webshop, Applikationen (im Folgenden: App)
(2) Die allgemeinen Gesch�ftsbedingungen gelten in der jeweiligen, zum Zeitpunkt des Vertragsschlusses aktuellen Fassung. Je nach Endger�t des Kunden kann dieses Dokument ausgedruckt und/od...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Au�erhalb Deutschlands versenden wir mit Versicherung bis 50 EUR (bei Paketen bis 2kg). Zus�tzlich mit Sendungsverfolgungsnummer.

Achtung! R�cksendungen bei Annahmeverweigerung oder nicht erfolgter Abholung
Sendungen, die aufgrund einer Annahmeverweigerung durch den Kunden oder wegen nicht rechtzeitiger Abholung beim Versanddienstleister an uns zur�ckgesendet werden, gelten nicht als regul�re R�cksendungen im Rahmen des Widerrufsrechts. In solchen F�llen behalten wir uns vor, eine pauschale Bearbeitungs- und R�cksendegeb�hr vom zu erstattenden Kaufpreis abzuziehen.

Die Geb�hren setzen sich aus Bearbeitungsgeb�hr und R�cksendekosten zusammen und betragen:

F�r R�cksendungen innerhalb Deutschlands: 4,90 €
F�r R�cksendungen aus dem Ausland: 12,90 €
Die Summe der Geb�hren wird automatisch bei der R�ckerstattung verrechnet.**

Versandkosten von Deutschland nach USA

Versandkosten von Deutschland nach USA
Bestellmenge	10 bis 21�Werktage	10 bis 21�Werktage
Erster Artikel	EUR 61.50	EUR 76.50

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer