[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Term Rewriting and Applications

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 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Peter Tschaikowsky Constantin Floros / In brossura
common.buy 12.41 €
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / In brossura
common.buy 39.81 €
Renaissance Florence Roger J. CrumJohn T. Paoletti / Rigido
common.buy 235.81 €
Ich rechne mit! - Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen, Sachsen-Anhalt, Thüringen - 1. Schuljahr Klaus-Peter Käding / In brossura
common.buy 13.05 €
Hundert Jahre im Altkreis Geldern Paul van Treeck / In brossura
common.buy 17.54 €
Aiming at Virtue in Plato Iakovos Vasiliou / In brossura
common.buy 61.97 €
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Foglio
common.buy 23.65 €
Exotic Attractors Jorge Buescu / In brossura
common.buy 72.67 €
Die Lücke im Gesetz Ingo Lenßen / In brossura
common.buy 17.01 €
Franz Sternbalds Wanderungen Ludwig Tieck / In brossura
common.buy 13.05 €
Jagdmethoden und Fanggeheimnisse Emil Regener / In brossura
common.buy 93.97 €
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / In brossura
common.buy 53.62 €
Ausgabe H, Schwarz / Rigido
common.buy 25.47 €
Tot und begraben Carola Clasen / In brossura
common.buy 11.23 €

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.

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

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