Rewriting Techniques And Applications 7th International Conference Rta-96

CHF 69.00
+ CHF 15.49 Spedizione

Rewriting Techniques And Applications 7th International Conference Rta-96

Venduto da:

CHF 69.00

Disponibile
+ CHF 15.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:


Dettagli del prodotto

Dettagli del prodotto

Rewriting Techniques And Applications 7th International Conference Rta-96

This Book Constitutes The Refereed Proceedings Of The 7th International Conference On Rewriting Techniques And Applications, Rta-96, Held In Brunswick, Nj, Usa, In July 1996.the 27 Revised Full Papers Presented In This Volume Were Selected From A Total Of 84 Submissions, Also Included Are Six System Descriptions And Abstracts Of Three Invited Papers. The Topics Covered Include Analysis Of Term Rewriting Systems, String And Graph Rewriting, Rewrite-based Theorem Proving, Conditional Term Rewriting, Higher-order Rewriting, Unification, Symbolic And Algebraic Computation, And Efficient Implementation Of Rewriting On Sequential And Parallel Machines.
  • Marchio: Springer Nature B.V
  • Categoria: Computer e internet
  • Autore: Springer Nature B.V
  • Numero di pagine: 456
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Data di pubblicazione: 1996-07-01
  • Formato: Paperback
  • ID Fruugo: 557241482-1125511202
  • ISBN: 9783540614647
Consegna

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 15.49 - Consegna tra gio 12 novembre 2026–lun 16 novembre 2026

Spedizione da Regno Unito.

Resi

Resi

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli.

Visualizza la politica di reso completa