Articoli correlati a Computing in Systems Described by Equations: 58

Computing in Systems Described by Equations: 58 - Brossura

O'Donnell, M.J.

 
9783540085317: Computing in Systems Described by Equations: 58
Brossura
ISBN 10: 3540085319 ISBN 13: 9783540085317
Casa editrice: Springer, 2008
Vedi tutte le copie di questo ISBN:
 
 
Contenuti:
I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2008
  • ISBN 10 3540085319
  • ISBN 13 9783540085317
  • RilegaturaPaperback
  • Numero di pagine132

Altre edizioni note dello stesso titolo

9780387085319: Computing in Systems Described by Equations

Edizione in evidenza

ISBN 10:  0387085319 ISBN 13:  9780387085319
Casa editrice: Springer-Verlag Berlin and Heide..., 1977
Brossura

I migliori risultati di ricerca su AbeBooks

Immagini fornite dal venditore

O'Donnell, M. J.
Editore: Springer (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Brossura Quantità: 5
Da:
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo 5907845-n

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 16,30
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,44
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

O'Donnell, M.J.
Editore: Springer (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Soft Cover Quantità: 10
Da:
booksXpress
(Bayonne, NJ, U.S.A.)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540085317

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 18,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

O'Donnell, M.J.
Editore: Springer (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Brossura Quantità: > 20
Da:
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020158131

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 21,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

M.J. O'Donnell
Editore: Springer (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540085317_lsuk

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 14,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,75
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

O'Donnell, M.J.
Editore: Springer 1977-12 (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo PF Quantità: 10
Da:
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro PF. Condizione: New. Codice articolo 6666-IUK-9783540085317

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 11,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,65
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

O'Donnell, M. J.
Editore: Springer (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Brossura Quantità: 5
Da:
GreatBookPricesUK
(Castle Donington, DERBY, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo 5907845-n

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 14,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,66
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

O?Donnell, M.J.
Editore: Springer (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Brossura Quantità: 15
Da:
Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Irlanda)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. 1977. Paperback. . . . . . Codice articolo V9783540085317

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 31,95
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,50
Da: Irlanda a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

M. J. O'Donnell
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Taschenbuch Quantità: 1
Da:
Smartbuy
(Einbeck, Germania)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality. 132 pp. Englisch. Codice articolo 9783540085317

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 9,83
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 32,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

O Donnell, M.J.
Editore: Springer (1977)
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Brossura Quantità: 15
Da:
Kennys Bookstore
(Olney, MD, U.S.A.)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. 1977. Paperback. . . . . . Books ship from the US and Ireland. Codice articolo V9783540085317

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 38,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,71
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

M.J. O'Donnell
ISBN 10: 3540085319 ISBN 13: 9783540085317
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
moluna
(Greven, Germania)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of. Codice articolo 4880066

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 13,46
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi