«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Term Rewriting and Applications

17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Term Rewriting and Applications Frank Pfenning
Código Libristo: 01562413
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Sardegna slow. Viaggio nel cuore dell'isola. Le guide ai sapori e ai piaceri / Libro Tapa blanda
common.buy 17.49 €
Popular
Puzzle 1000 elementów. Compact Anime Dragon Ball / Juego/Juguete Rompecabezas
common.buy 6.59 €
Hass Vergibt Nicht H P Barkam / Libro Tapa blanda
common.buy 10.39 €
How to Argue With a Meat Eater (And Win Every Time) WINTERS ED / Libro Tapa blanda
common.buy 14.29 €
En el ocaso del pensamiento occidental Herman Dooyeweerd / Libro Tapa blanda
common.buy 17.89 €
O can MONTSE GANGES / Libro Tapa dura
common.buy 3.69 €
Instrumental Carpenters The Instrumental/Carpenters / Audio CD de audio
common.buy 11.59 €
Reflejo 3. Lengua castellana y Literatura 3 ESO MERCE ARCE LASSO / Libro Tapa blanda
common.buy 59.89 €
Pakůň / Juego/Juguete Juguete
common.buy 8.79 €
Maurice Denis Maurice DENIS / Libro Tapa blanda
common.buy 11.59 €
Vivre une vie philosophique - Thoreau le sauvage Michel Onfray / Libro Tapa blanda
common.buy 19.49 €
Merlin le prophète - un thème de la littérature polémique de l'historiographie et des romans Zumthor / Libro Tapa dura
common.buy 83.49 €
Tot und begraben Carola Clasen / Libro Tapa blanda
common.buy 10.39 €
Popular
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Libro Hoja
common.buy 24.99 €
Ausgabe H, Schwarz / Libro Tapa dura
common.buy 24.79 €
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Libro Tapa blanda
common.buy 41.49 €
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Libro Tapa blanda
common.buy 34.59 €
Hundert Jahre im Altkreis Geldern Paul van Treeck / Libro Tapa blanda
common.buy 7.99 €
Die Lücke im Gesetz Ingo Lenßen / Libro Tapa blanda
common.buy 15.99 €
Lymphologie und Manuelle Lymphdrainage beim Pferd Christina Fedele / Libro Tapa dura
common.buy 87.49 €
Jagdmethoden und Fanggeheimnisse Emil Regener / Libro Tapa blanda
common.buy 39.39 €
O čertovi Pavel Čech / Libro Tapa dura
common.buy 9.09 €
Matematika pro 4. ročník základní školy 1. díl Zdena Rosecká / Libro Libro
common.buy 3.09 €
L'amant MARGUERITE DURAS / Libro Tapa blanda
common.buy 11.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Term Rewriting and Applications
Autor Frank Pfenning
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 418
EAN 9783540368342
ISBN 3540368345
Código Libristo 01562413
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1340
Dimensiones 155 x 235 x 24

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Victim Bibe / Libro Tapa blanda
common.buy 12.59 €
Próximamente
Exhibiting Mormonism Reid L. Neilson / Libro Tapa dura
common.buy 58.09 €
Unjust Enrichment and Contract Tariq A. Baloch / Libro Tapa dura
common.buy 148.59 €
God from the Machine William Sims Bainbridge / Libro Tapa dura
common.buy 144.99 €
Blackwell Guide to Hume's Treatise Traiger / Libro Tapa dura
common.buy 133.89 €
Uncle Bubba's Chicken Wing Fling Mitchel Whitington / Libro Tapa blanda
common.buy 17.29 €
Introduction to Oil and Gas Operational Safety Wise Global Training Ltd / Libro Tapa blanda
common.buy 184.39 €
Sufis in Western Society Markus Dressler / Libro Tapa blanda
common.buy 77.69 €
Power Plays Alan Arkin / Libro Tapa blanda
common.buy 18.19 €
Other State, New Mexico USA Richard McCord / Libro Tapa blanda
common.buy 12.69 €
Mary's Girl Shannon K Cook / Libro Tapa blanda
common.buy 13.79 €
Lord of Death and the Queen of Life Homer E Flint / Libro Tapa dura
common.buy 28.79 €
Donna Diana Richard Bagot / Libro Tapa blanda
common.buy 39.69 €
Lovers' Poetry James Butler / Libro Tapa blanda
common.buy 11.79 €
Herbaceous Layer in Forests of Eastern North America Frank Gilliam / Libro Tapa dura
common.buy 155.59 €
Who Is Naturalove? Analisa Jean Naturalove / Libro Tapa blanda
common.buy 16.39 €
Nuggets & Pearls Ash Pradhan / Libro Tapa blanda
common.buy 20.09 €
Feuerbach: The Roots Of The Socialist Philosophy (1903) Frederick Engels / Libro Tapa blanda
common.buy 23.89 €
Poetics of Unnatural Narrative Jan Alber / Libro Tapa blanda
common.buy 45.79 €
Becoming a Literacy Leader Jennifer Allen / Libro Tapa blanda
common.buy 47.59 €
Próximamente
Magnum Ireland Brigitte Lardinois / Libro Tapa blanda
common.buy 22.89 €
Violin Exam Pieces 2020-2023, ABRSM Grade 7, Score & Part ABRSM / Artículos impresos Partituras
common.buy 25.89 €
SAFE-BURGLARY UNITED STATES. CONGR / Libro Tapa dura
common.buy 35.79 €
Prisoners of the American Dream Mike Davis / Libro Tapa blanda
common.buy 20.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?