Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Term Rewriting and Applications

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

Lingua IngleseInglese
Libro In brossura
Libro Term Rewriting and Applications Frank Pfenning
Codice Libristo: 01562413
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Sardegna slow. Viaggio nel cuore dell'isola. Le guide ai sapori e ai piaceri / Libro In brossura
common.buy 17.19 €
I migliori
Puzzle 1000 elementów. Compact Anime Dragon Ball / Gioco/giocattolo Puzzle
common.buy 6.79 €
Hass Vergibt Nicht H P Barkam / Libro In brossura
common.buy 10.39 €
How to Argue With a Meat Eater (And Win Every Time) WINTERS ED / Libro In brossura
common.buy 13.39 €
En el ocaso del pensamiento occidental Herman Dooyeweerd / Libro In brossura
common.buy 17.89 €
O can MONTSE GANGES / Libro Rigido
common.buy 3.59 €
Instrumental Carpenters The Instrumental/Carpenters / Audio CD audio
common.buy 11.09 €
Reflejo 3. Lengua castellana y Literatura 3 ESO MERCE ARCE LASSO / Libro In brossura
common.buy 58.99 €
Pakůň / Gioco/giocattolo Giocattolo
common.buy 9.09 €
Maurice Denis Maurice DENIS / Libro In brossura
common.buy 11.99 €
Vivre une vie philosophique - Thoreau le sauvage Michel Onfray / Libro In brossura
common.buy 19.89 €
Merlin le prophète - un thème de la littérature polémique de l'historiographie et des romans Zumthor / Libro Rigido
common.buy 85.59 €
Tot und begraben Carola Clasen / Libro In brossura
common.buy 10.19 €
I migliori
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Libro Foglio
common.buy 23.89 €
Ausgabe H, Schwarz / Libro Rigido
common.buy 23.49 €
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Libro In brossura
common.buy 39.39 €
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Libro In brossura
common.buy 32.79 €
Hundert Jahre im Altkreis Geldern Paul van Treeck / Libro In brossura
common.buy 7.59 €
Die Lücke im Gesetz Ingo Lenßen / Libro In brossura
common.buy 15.59 €
Lymphologie und Manuelle Lymphdrainage beim Pferd Christina Fedele / Libro Rigido
common.buy 82.89 €
Jagdmethoden und Fanggeheimnisse Emil Regener / Libro In brossura
common.buy 37.29 €
O čertovi Pavel Čech / Libro Rigido
common.buy 9.69 €
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 In brossura
common.buy 11.69 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Term Rewriting and Applications
Autore Frank Pfenning
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 418
EAN 9783540368342
ISBN 3540368345
Codice Libristo 01562413
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1340
Dimensioni 155 x 235 x 24

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?