Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science)

Editor

Springer

Fecha de publicaci�n

2008

Idioma

Ingl�s

ISBN 10

3540368345

ISBN 13

9783540368342

Encuadernaci�n

Taschenbuch

Edici�n

2006.

Estado

Fine

Firmado

nein

Cat�logos de vendedores

Acerca de

Sinopsis

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

Rese�a del editor

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

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Leserstrahl (Preise inkl. MwSt.)
Germany

Condiciones de venta y env�o

Condiciones de venta

Allgemeine Gesch�ftsbedingungen

1. Geltungsbereich

F�r alle Bestellungen �ber AbeBooks/ZVAB durch Verbraucher und Unternehmer gelten die nachfolgenden AGB.

Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen. Unternehmer ist eine nat�rliche oder juristische Person oder eine rechtsf�hige Personengesellschaft, die bei Abschluss eines Rechtsgesch�fts in...

M�s informaci�n

Condiciones de env�o

B�cher, die Montag bis Freitag bis 13:30h bestellt werden, bringen wir normalerweise am gleichen Tag zur Post, in Ausnahmef�llen am n�chsten Werktag. Unsere Preise und Versandkosten sind so gestaltet, dass innerhalb Deutschlands niemals zus�tzliche Versandkosten anfallen. So k�nnen die B�cher sofort verschickt werden. F�r Bestellungen au�erhalb Deutschlands gelten die Versandkosten nur f�r B�cher bis 1kg. Alle Preise inkl. MwSt.

Informaci�n detallada sobre el vendedor