Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 7,54
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 14,64
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 11,87
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1977
ISBN 10: 3540085319 ISBN 13: 9783540085317
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 10,69
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
EUR 12,05
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Computing in Systems Described by Equations | M. J. O'Donnell | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1977 | Springer | EAN 9783540085317 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1977
ISBN 10: 3540085319 ISBN 13: 9783540085317
Librería: moluna, Greven, Alemania
EUR 13,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.